sameClassAs
type: AnnotationProperty
comment: for sameClassAs(X, Y), read X is an equivalent class to Y. cf OIL Equivalent
subPropertyOf: equivalentTo
type: ObjectProperty
subPropertyOf: subClassOf
domain: Class
range: Class
type: NamedIndividual
type: Property

intersectionOf
type: AnnotationProperty
comment: for intersectionOf(X, Y) read: X is the intersection of the classes in the list Y; i.e. if something is in all the classes in Y, then it's in X, and vice versa. cf OIL AND
domain: Class
type: ObjectProperty
range: List

oneOf
type: AnnotationProperty
comment: for oneOf(C, L) read everything in C is one of the things in L; This lets us define classes by enumerating the members. cf OIL OneOf
domain: Class
type: ObjectProperty
range: List

subClassOf
type: AnnotationProperty
comment: The subject is a subclass of a class.
domain: Class
type: ObjectProperty
range: Class

inverseOf
type: AnnotationProperty
comment: for inverseOf(R, S) read: R is the inverse of S; i.e. if R(x, y) then S(y, x) and vice versa. cf OIL inverseRelationOf
domain: ObjectProperty
type: ObjectProperty
range: ObjectProperty

hasValue
type: AnnotationProperty
comment: for onProperty(R, P) and hasValue(R, V), read: i is in class R if and only if P(i, V). cf OIL HasFiller
domain: Restriction

subPropertyOf
type: AnnotationProperty
comment: The subject is a subproperty of a property.
domain: Property
type: ObjectProperty
range: Property

hasClassQ
type: AnnotationProperty
comment: property for specifying class restriction with cardinalityQ constraints
domain: Restriction
type: ObjectProperty
range: Class

onProperty
type: AnnotationProperty
comment: for onProperty(R, P), read: R is a restricted with respect to property P.
domain: Restriction
type: ObjectProperty
range: Property

disjointUnionOf
type: AnnotationProperty
comment: for disjointUnionOf(X, Y) read: X is the disjoint union of the classes in the list Y: (a) for any c1 and c2 in Y, disjointWith(c1, c2), and (b) unionOf(X, Y). i.e. if something is in any of the classes in Y, it's in X, and vice versa. cf OIL disjoint-covered
domain: Class
type: ObjectProperty
range: List

domain
type: AnnotationProperty
comment: A domain of the subject property.
domain: Property
type: ObjectProperty
range: Class

object
type: AnnotationProperty
comment: The object of the subject RDF statement.
domain: Statement
type: ObjectProperty
range: Resource

type
type: AnnotationProperty
comment: The subject is an instance of a class.
domain: Resource
type: ObjectProperty
range: Class

comment
comment: A description of the subject resource.
range: Literal
domain: Resource

range
type: AnnotationProperty
comment: A range of the subject property.
domain: Property
type: ObjectProperty
range: Class

isDefinedBy
comment: The defininition of the subject resource.
domain: Resource
range: Resource
subPropertyOf: seeAlso

rest
type: AnnotationProperty
comment: The rest of the subject RDF list after the first item.
domain: List
type: ObjectProperty
range: List

complementOf
type: AnnotationProperty
comment: for complementOf(X, Y) read: X is the complement of Y; if something is in Y, then it's not in X, and vice versa. cf OIL NOT
domain: Class
type: ObjectProperty
range: Class

maxCardinality
type: AnnotationProperty
comment: for onProperty(R, P), maxCardinalityQ(R, n) and hasClassQ(R, X), read: i is in class R if and only if there are at most n distinct j with P(i, j) and type(j, X). cf OIL MaxCardinality
domain: Restriction
type: ObjectProperty
range: nonNegativeInteger

toClass
type: AnnotationProperty
comment: for onProperty(R, P) and toClass(R, X), read: i is in class R if and only if for all j, P(i, j) implies type(j, X). cf OIL ValueType
domain: Restriction
type: ObjectProperty
range: Class

predicate
type: AnnotationProperty
comment: The predicate of the subject RDF statement.
domain: Statement
type: ObjectProperty
range: Resource

first
type: AnnotationProperty
comment: The first item in the subject RDF list.
domain: List
type: ObjectProperty
range: Resource

hasClass
type: AnnotationProperty
comment: for onProperty(R, P) and hasClass(R, X), read: i is in class R if and only if for some j, P(i, j) and type(j, X). cf OIL HasValue
domain: Restriction
type: ObjectProperty
range: Class

differentIndividualFrom
type: AnnotationProperty
comment: for differentIndividualFrom(a, b), read a is not the same individual as b.
domain: Thing
type: ObjectProperty
range: Thing
type: NamedIndividual
type: Property

sameIndividualAs
type: AnnotationProperty
comment: for sameIndividualAs(a, b), read a is the same individual as b.
subPropertyOf: equivalentTo
domain: Thing
type: ObjectProperty
range: Thing
type: NamedIndividual
type: Property

subject
type: AnnotationProperty
comment: The subject of the subject RDF statement.
domain: Statement
type: ObjectProperty
range: Resource

value
type: AnnotationProperty
comment: Idiomatic property used for structured values.
domain: Resource
type: ObjectProperty
range: Resource

item
type: AnnotationProperty
comment: for item(L, I) read: I is an item in L; either first(L, I) or item(R, I) where rest(L, R).
domain: List

minCardinality
type: AnnotationProperty
comment: for onProperty(R, P), minCardinalityQ(R, n) and hasClassQ(R, X), read: i is in class R if and only if there are at least n distinct j with P(i, j) and type(j, X). cf OIL MinCardinality
domain: Restriction
type: ObjectProperty
range: nonNegativeInteger

minCardinality
type: AnnotationProperty
comment: for onProperty(R, P) and minCardinality(R, n), read: i is in class R if and only if there are at least n distinct j with P(i, j). cf OIL MinCardinality
domain: Restriction
type: ObjectProperty
range: nonNegativeInteger

unionOf
type: AnnotationProperty
comment: for unionOf(X, Y) read: X is the union of the classes in the list Y; i.e. if something is in any of the classes in Y, it's in X, and vice versa. cf OIL OR
domain: Class
type: ObjectProperty
range: List

equivalentTo
comment: for equivalentTo(X, Y), read X is an equivalent term to Y.
type: NamedIndividual
type: Property

maxCardinality
type: AnnotationProperty
comment: for onProperty(R, P) and maxCardinality(R, n), read: i is in class R if and only if there are at most n distinct j with P(i, j). cf OIL MaxCardinality
domain: Restriction
type: ObjectProperty
range: nonNegativeInteger

label
comment: A human-readable name for the subject.
range: Literal
domain: Resource

samePropertyAs
type: AnnotationProperty
comment: for samePropertyAs(P, R), read P is an equivalent property to R.
subPropertyOf: equivalentTo
type: ObjectProperty
subPropertyOf: subPropertyOf
type: NamedIndividual
type: Property

cardinality
type: AnnotationProperty
comment: for onProperty(R, P), cardinalityQ(R, n) and hasClassQ(R, X), read: i is in class R if and only if there are exactly n distinct j with P(i, j) and type(j, X). cf OIL Cardinality
domain: Restriction
type: ObjectProperty
range: nonNegativeInteger

cardinality
type: AnnotationProperty
comment: for onProperty(R, P) and cardinality(R, n), read: i is in class R if and only if there are exactly n distinct j with P(i, j). cf OIL Cardinality
domain: Restriction
type: ObjectProperty
range: nonNegativeInteger

member
type: AnnotationProperty
comment: A member of the subject resource.
domain: Resource
type: ObjectProperty
range: Resource

seeAlso
comment: Further information about the subject resource.
domain: Resource
range: Resource

disjointWith
type: AnnotationProperty
comment: for disjointWith(X, Y) read: X and Y have no members in common. cf OIL Disjoint
domain: Class
type: ObjectProperty
range: Class

PlainLiteral
type: Datatype
comment: The class of plain (i.e. untyped) literal values.
type: Class
subclass of: Literal

XMLLiteral
type: Datatype
comment: The class of XML literal values.
type: Class
subclass of: Literal

Currency Code
type: Class
subclass of: Thing

Class
subclass of: Class
comment: The class of all "object" classes

Datatype
type: Class
subclass of: Class
comment: The class of all datatype classes

DatatypeProperty
type: Class
subclass of: Property
comment: if P is a DatatypeProperty, and P(x, y), then y is a data value.

Nothing
type: Class
equivalent class: Class
  complement of: Thing
comment: the class with no things in it.

ObjectProperty
type: Class
subclass of: Property
comment: if P is an ObjectProperty, and P(x, y), then y is an object.

Ontology
comment: An Ontology is a document that describes a vocabulary of terms for communication between (human and) automated agents.

Restriction
type: Class
subclass of: Class
comment: something is in the class R if it satisfies the attached restrictions, and vice versa.

Thing
type: Class
union of: <rdfs:Class rdf:about="#Nothing"></rdfs:Class> <rdfs:Class> </rdfs:Class>
comment: The most general (object) class in DAML. This is equal to the union of any class and its complement.

TransitiveProperty
type: Class
subclass of: ObjectProperty
comment: if P is a TransitiveProperty, then if P(x, y) and P(y, z) then P(x, z). cf OIL TransitiveProperty.

UnambiguousProperty
type: Class
subclass of: ObjectProperty
comment: if P is an UnambiguousProperty, then if P(x, y) and P(z, y) then x=z. aka injective. e.g. if firstBorne(m, Susan) and firstBorne(n, Susan) then m and n are the same.

UniqueProperty
type: Class
subclass of: Property
comment: compare with maxCardinality=1; e.g. integer successor: if P is a UniqueProperty, then if P(x, y) and P(x, z) then y=z. cf OIL FunctionalProperty.

Alt
type: Class
subclass of: Container
comment: The class of containers of alternatives.

Bag
type: Class
subclass of: Container
comment: The class of unordered containers.

List
type: Class
subclass of: Resource
comment: The class of RDF Lists.

Property
type: Class
subclass of: Resource
comment: The class of RDF properties.

Seq
type: Class
subclass of: Container
comment: The class of ordered containers.

Statement
type: Class
subclass of: Resource
comment: The class of RDF statements.

Class
subclass of: Resource
comment: The class of classes.

Container
type: Class
subclass of: Resource
comment: The class of RDF containers.

ContainerMembershipProperty
type: Class
subclass of: Property
comment: The class of container membership properties, rdf:_1, rdf:_2, ..., all of which are sub-properties of 'member'.

Datatype
type: Class
subclass of: Class
comment: The class of RDF datatypes.

Literal
type: Class
subclass of: Resource
comment: The class of literal values, eg. textual strings and integers.

Resource
comment: The class resource, everything.

AFA
type: NamedIndividual
type: Currency
name: Afghanis
code: AFA
country: AF

ANG
type: NamedIndividual
type: Currency
name: Netherlands Antilles Guilders
code: ANG
country: AN

ARS
type: NamedIndividual
type: Currency
code: ARS
name: Pesos
country: AR

AUD
type: NamedIndividual
type: Currency
code: AUD
name: Dollars
country: AU
country: CC
country: KI
country: NR

AWG
type: NamedIndividual
type: Currency
code: AWG
name: Guilders
country: AW

AZM
type: NamedIndividual
type: Currency
code: AZM
name: Manats
country: AZ

BAM
type: NamedIndividual
type: Currency
code: BAM
name: Convertible Marka
country: BA

BBD
type: NamedIndividual
type: Currency
code: BBD
name: Dollars
country: BB

BIF
type: NamedIndividual
type: Currency
name: Francs
code: BIF
country: BI

BMD
type: NamedIndividual
type: Currency
name: Dollars
code: BMD
country: BM

BND
type: NamedIndividual
type: Currency
name: Dollars
code: BND
country: BN

BRL
type: NamedIndividual
type: Currency
name: Real
code: BRL
country: BR

BSD
type: NamedIndividual
type: Currency
code: BSD
name: Dollars
country: BS

BWP
type: NamedIndividual
type: Currency
name: Pulas
code: BWP
country: BW

BYR
type: NamedIndividual
type: Currency
code: BYR
name: Rubles
country: BY

BZD
type: NamedIndividual
type: Currency
code: BZD
name: Dollars
country: BZ

CDF
type: NamedIndividual
type: Currency
name: Francs
code: CDF

CHF
type: NamedIndividual
type: Currency
name: Switzerland Francs
code: CHF
country: LI

CNY
type: NamedIndividual
type: Currency
code: CNY
name: Yuan Renminbi
country: CN

CRC
type: NamedIndividual
type: Currency
code: CRC
name: Colones
country: CR

CUP
type: NamedIndividual
type: Currency
code: CUP
name: Pesos
country: CU

CYP
type: NamedIndividual
type: Currency
code: CYP
name: Pounds
country: CY

DKK
type: NamedIndividual
type: Currency
code: DKK
name: Kroner
country: DK

DZD
type: NamedIndividual
type: Currency
code: DZD
name: Dinars
country: DZ

EGP
type: NamedIndividual
type: Currency
name: Pounds
code: EGP
country: EG

ERN
type: NamedIndividual
type: Currency
name: Nakfa
code: ERN
country: SV

ETB
type: NamedIndividual
type: Currency
code: ETB
name: Birr
country: ET

EUR
type: NamedIndividual
type: Currency
name: Euro
code: EUR
country: AD
country: FR
country: GP
country: GR
country: IE
country: LU
country: PM
country: TF
country: VA
country: YT

FJD
type: NamedIndividual
type: Currency
code: FJD
name: Dollars
country: FJ

FKP
type: NamedIndividual
type: Currency
name: Pounds
code: FKP
country: FK

GBP
type: NamedIndividual
type: Currency
code: GBP
name: United Kingdom Pounds
country: GB

GEL
type: NamedIndividual
type: Currency
code: GEL
name: Lari
country: GE

GHC
type: NamedIndividual
type: Currency
name: Cedis
code: GHC
country: GH

GNF
type: NamedIndividual
type: Currency
code: GNF
name: Francs
country: GN

GTQ
type: NamedIndividual
type: Currency
name: Quetzales
code: GTQ
country: GT

GYD
type: NamedIndividual
type: Currency
code: GYD
name: Dollars
country: GY

HKD
type: NamedIndividual
type: Currency
code: HKD
name: Dollars
country: HK

IDR
type: NamedIndividual
type: Currency
code: IDR
name: Indonesia Rupiahs
country: ID

ILS
type: NamedIndividual
type: Currency
code: ILS
name: New Shekels
country: IL

INR
type: NamedIndividual
type: Currency
code: INR
name: India Rupeess
country: BT

IRR
type: NamedIndividual
type: Currency
code: IRR
name: Rials
country: IR

ISK
type: NamedIndividual
type: Currency
code: ISK
name: Kronur
country: IS

JMD
type: NamedIndividual
type: Currency
name: Dollars
code: JMD
country: JM

JOD
type: NamedIndividual
type: Currency
code: JOD
name: Dinars
country: JO

JPY
type: NamedIndividual
type: Currency
name: Yen
code: JPY
country: JP

KGS
type: NamedIndividual
type: Currency
name: Soms
code: KGS
country: KG

KRW
type: NamedIndividual
type: Currency
name: Won
code: KRW
country: KR

KYD
type: NamedIndividual
type: Currency
name: Dollars
code: KYD
country: KY

LRD
type: NamedIndividual
type: Currency
name: Dollars
code: LRD
country: LR

LSL
type: NamedIndividual
type: Currency
code: LSL
name: Maloti
country: LS

LVL
type: NamedIndividual
type: Currency
name: Lati
code: LVL
country: LV

MDL
type: NamedIndividual
type: Currency
name: Lei
code: MDL
country: MD

MKD
type: NamedIndividual
type: Currency
name: Denars
code: MKD
country: MK

MNT
type: NamedIndividual
type: Currency
name: Tugriks
code: MNT
country: MN

MRO
type: NamedIndividual
type: Currency
code: MRO
name: Ouguiyas
country: MR

MXN
type: NamedIndividual
type: Currency
code: MXN
name: Pesos
country: MX

MYR
type: NamedIndividual
type: Currency
code: MYR
name: Ringgits
country: MY

MZM
type: NamedIndividual
type: Currency
name: Meticais
code: MZM
country: MZ

NAD
type: NamedIndividual
type: Currency
name: Dollars
code: NAD
country: NA

NOK
type: NamedIndividual
type: Currency
code: NOK
name: Norway Kroner
country: SJ

NZD
type: NamedIndividual
type: Currency
code: NZD
name: Dollars
country: NU
country: NZ
country: PN

OMR
type: NamedIndividual
type: Currency
code: OMR
name: Rials
country: OM

PAB
type: NamedIndividual
type: Currency
name: Balboa
code: PAB
country: PA

PEN
type: NamedIndividual
type: Currency
name: Nuevos Soles
code: PEN
country: PE

PGK
type: NamedIndividual
type: Currency
name: Kina
code: PGK
country: PG

PLN
type: NamedIndividual
type: Currency
name: Zlotych
code: PLN
country: PL

QAR
type: NamedIndividual
type: Currency
code: QAR
name: Rials
country: QA

ROL
type: NamedIndividual
type: Currency
code: ROL
name: Lei
country: RO

RUR
type: NamedIndividual
type: Currency
name: Russia Rubles
code: RUR
country: TJ

RWF
type: NamedIndividual
type: Currency
name: Francs
code: RWF
country: RW

SAR
type: NamedIndividual
type: Currency
code: SAR
name: Riyals
country: SA

SBD
type: NamedIndividual
type: Currency
name: Dollars
code: SBD
country: SB

SCR
type: NamedIndividual
type: Currency
name: Rupees
code: SCR
country: SC

SDD
type: NamedIndividual
type: Currency
name: Dinars
code: SDD
country: SD

SEK
type: NamedIndividual
type: Currency
code: SEK
name: Kronor
country: SE

SKK
type: NamedIndividual
type: Currency
code: SKK
name: Koruny
country: SK

STD
type: NamedIndividual
type: Currency
name: Dobras
code: STD
country: ST

SVC
type: NamedIndividual
type: Currency
name: Colones
code: SVC
country: SV

SYP
type: NamedIndividual
type: Currency
code: SYP
name: Pounds
country: SY

TMM
type: NamedIndividual
type: Currency
code: TMM
name: Manats
country: TM

TND
type: NamedIndividual
type: Currency
code: TND
name: Dinars
country: TN

TOP
type: NamedIndividual
type: Currency
name: Pa'anga
code: TOP
country: TO

TVD
type: NamedIndividual
type: Currency
name: Tuvalu Dollars
code: TVD
country: TV

TZS
type: NamedIndividual
type: Currency
name: Shillings
code: TZS
country: TZ

UAH
type: NamedIndividual
type: Currency
code: UAH
name: Hryvnia
country: UA

USD
type: NamedIndividual
type: Currency
name: United States Dollars
code: USD
country: AS
country: HT
country: IO
country: MH
country: MP
country: PW
country: TC
country: US
country: VI

VEB
type: NamedIndividual
type: Currency
code: VEB
name: Bolivares
country: VE

VUV
type: NamedIndividual
type: Currency
name: Vatu
code: VUV
country: VU

WST
type: NamedIndividual
type: Currency
name: Tala
code: WST
country: WS

XAF
type: NamedIndividual
type: Currency
code: XAF
name: Francs

XAG
type: NamedIndividual
type: Currency
name: Ounces
code: XAG
element: Ag

XAU
type: NamedIndividual
type: Currency
code: XAU
name: Ounces
element: Au

XCD
type: NamedIndividual
type: Currency
name: East Caribbean Dollars
code: XCD
country: AI
country: DM
country: GD
country: KN
country: MS

XPF
type: NamedIndividual
type: Currency
code: XPF
name: Francs
country: PF

YUM
type: NamedIndividual
type: Currency
code: YUM
name: New Dinars
country: YU

ZAR
type: NamedIndividual
type: Currency
code: ZAR
name: Rand
country: ZA

ZWD
type: NamedIndividual
type: Currency
name: Zimbabwe Dollars
code: ZWD
country: ZW

daml+oil
type: NamedIndividual
type: Ontology
version info: $Id: daml+oil.daml,v 1.7 2001/06/06 01:38:21 mdean Exp $

nil
type: NamedIndividual
type: List
comment: the empty list; this used to be called Empty.

imports
comment: for imports(X, Y) read: X imports Y; i.e. X asserts the* contents of Y by reference; i.e. if imports(X, Y) and you believe X and Y says something, then you should believe it. Note: "the contents" is, in the general case, an il-formed definite description. Different interactions with a resource may expose contents that vary with time, data format, preferred language, requestor credentials, etc. So for "the contents", read "any contents".

nil
comment: The empty list, with no items in it. If the rest of a list is nil then the list has no more items in it.

versionInfo
comment: generally, a string giving information about this version; e.g. RCS/CVS keywords