BBN.DAML.Vocabulary.DAML_OIL_2000_12 Class
Access:
Public
Base Classes:
Object
Implemented interfaces:
DAMLVocabulary
Members
Description
NAMESPACE_DAML_2001_03_URI
NAMESPACE_DAML_2000_12_URI
URI
s_instance
_namespace_daml
_List
_UniqueProperty
_TransitiveProperty
_UnambiguousProperty
_Restriction
_Ontology
_Nil
_Thing
_Nothing
_Literal
_Class
_Disjoint
_Property
_versionInfo
_imports
_disjointWith
_disjointUnionOf
_sameClassAs
_samePropertyAs
_oneOf
_intersectionOf
_unionOf
_complementOf
_equivalentTo
_onProperty
_toClass
_hasValue
_hasClass
_hasClassQ
_cardinality
_minCardinality
_maxCardinality
_cardinalityQ
_minCardinalityQ
_maxCardinalityQ
_inverseOf
_first
_rest
_item
_subPropertyOf
_type
_value
_subClassOf
_domain
_range
_label
_comment
_seeAlso
_isDefinedBy
_sameIndividualAs
_differentIndividualFrom
DAML_OIL_2000_12
DAML_OIL_2000_12
GetNameSpace
GetInstance
NAMESPACE_DAML
List
UniqueProperty
TransitiveProperty
UnambiguousProperty
Restriction
Ontology
Nil
Thing
Nothing
Literal
Class
Datatype
DatatypeProperty
ObjectProperty
Disjoint
Property
versionInfo
imports
disjointWith
disjointUnionOf
sameClassAs
samePropertyAs
oneOf
intersectionOf
unionOf
complementOf
equivalentTo
onProperty
toClass
hasValue
hasClass
hasClassQ
cardinality
minCardinality
maxCardinality
cardinalityQ
minCardinalityQ
maxCardinalityQ
inverseOf
first
rest
item
subPropertyOf
type
value
subClassOf
domain
range
label
comment
seeAlso
isDefinedBy
sameIndividualAs
differentIndividualFrom