KappaFn
(=>
(
instance
?SADDLE
Saddle
)
(
exists
(?RIDE)
(
capability
(
KappaFn
?RIDE
(
exists
(?HUMAN ?HORSE)
(
and
(
instance
?RIDE
Carrying
)
(
patient
?RIDE ?HUMAN)
(
instance
?HUMAN
Human
)
(
agent
?RIDE ?HORSE)
(
instance
?HORSE
Horse
))))
instrument
?SADDLE)))
Mid-level-ontology.kif 4326-4337
Objet
est une
instance
de
Saddle
cha�ne sympbolique
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
instrument
(=>
(
instance
?Straddle
Straddle
)
(
exists
(?Call ?Price ?Date ?Number ?Put)
(
and
(
equal
(
CardinalityFn
(
KappaFn
?Call
(
and
(
instance
?Call
CallOption
)
(
part
?Call ?Straddle)))) ?Number)
(
equal
(
CardinalityFn
(
KappaFn
?Put
(
and
(
instance
?Put
PutOption
)
(
part
?Put ?Straddle)))) ?Number)
(
forall
(?Option)
(=>
(
and
(
instance
?Option
Option
)
(
part
?Option ?Straddle))
(
and
(
agreementExpirationDate
?Option ?Date)
(
strikePrice
?Option ?Price)))))))
FinancialOntology.kif 3149-3173
Objet
est une
instance
de
Straddle
cha�ne sympbolique
mesure de devise
,
point temporel
,
nombre entier
and
cha�ne sympbolique
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
nombre entier
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
nombre entier
Agreement
Agreement
est une
instance
de
Option
Agreement
est une
partie
de
objet
agreementExpirationDate
Agreement
and
point temporel
strikePrice
Agreement
and
mesure de devise
(=>
(
instance
?Strategy
SingleOption
)
(
equal
(
CardinalityFn
(
KappaFn
?Option
(
patient
?Strategy ?Option))) 1))
FinancialOntology.kif 3088-3090
Entit�
est une
instance
de
SingleOption
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est &%�gal � 1
(=>
(
instance
?T
MilitaryFoodTruck
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Transportation
)
(
instance
?F
(
FoodForFn
Animal
))
(
patient
?P ?F)))
instrument
?T))
Military.kif 210-218
Objet
est une
instance
de
MilitaryFoodTruck
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
instrument
(=>
(
instance
?T
TankCar
)
(
exists
(?TRANS)
(
capability
(
KappaFn
?TRANS
(
exists
(?L ?T)
(
and
(
instance
?L
Liquid
)
(
instance
?TRANS
Transportation
)
(
patient
?TRANS ?L))))
instrument
?T)))
Transportation.kif 2236-2246
Objet
est une
instance
de
TankCar
objet
RANS
objet
est
capable
de faire la
classe
d�crite par
objet
RANS dans le r�le
instrument
(=>
(
instance
?TRIANGLE
Triangle
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
sideOfFigure
?SIDE ?TRIANGLE))) 3))
Mid-level-ontology.kif 4896-4901
Entit�
est une
instance
de
Triangle
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est &%�gal � 3
(=>
(
instance
?X
AutoAirbag
)
(
hasPurpose
?X
(
exists
(?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)
(
and
(
instance
?CAR
Automobile
)
(
part
?X ?CAR)
(
instance
?PERSON
Human
)
(
contains
?CAR ?PERSON)
(
instance
?IMP
Impacting
)
(
patient
?IMP ?CAR)
(
instance
?INF
Inflating
)
(
patient
?INF ?X)
(
causes
?IMP ?INF)
(
hinders
?INF
(
KappaFn
?INJ
(
and
(
instance
?INJ
Injuring
)
(
experiencer
?INJ ?PERSON)
(
exists
(?HIT)
(
and
(
instance
?HIT
Impacting
)
(
destination
?HIT ?CAR)
(
experiencer
?HIT ?PERSON)
(
causes
?HIT ?INJ))))))))))
Cars.kif 3632-3656
Physique
est une
instance
de
AutoAirbag
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Automobile
physique
est une
partie
de
entit�
entit�
est une
instance
de
humain
entit�
contient
entit�
entit�
est une
instance
de
impacte
entit�
est un
patient
de
entit�
entit�
est une
instance
de
Inflating
physique
est un
patient
de
entit�
entit�
cause
entit�
hinders
entit�
and la
classe
d�crite par
entit�
(=>
(
instance
?X
Key
)
(
hasPurpose
?X
(
exists
(?LOCK ?CLOSE ?OPEN)
(
and
(
instance
?LOCK
Lock
)
(
capability
(
KappaFn
?CLOSE
(
and
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?CLOSE)
(
attribute
?LOCK
Locked
))))
instrument
?X)
(
capability
(
KappaFn
?OPEN
(
and
(
instance
?OPEN
Closing
)
(
patient
?OPEN ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?OPEN)
(
not
(
attribute
?LOCK
Locked
)))))
instrument
?X)))))
Mid-level-ontology.kif 2670-2692
Physique
est une
instance
de
Key
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
Lock
physique
est
capable
de faire la
classe
d�crite par
entit�
dans le r�le
instrument
physique
est
capable
de faire la
classe
d�crite par
entit�
dans le r�le
instrument
(=>
(
instance
?X
Protecting
)
(
hasPurpose
?X
(
exists
(?OBJ ?T ?H ?HARM)
(
and
(
instance
?OBJ
Object
)
(
patient
?X
Object
)
(
subclass
?HARM
(
KappaFn
?H
(
and
(
or
(
instance
?H
CriminalAction
)
(
instance
?H
Damaging
))
(=>
(
holdsDuring
?T
(
patient
?H ?OBJ))
(
not
(
holdsDuring
?T
(
patient
?X ?OBJ)))))))
(
or
(
prevents
?X ?HARM)
(
hinders
?X ?HARM))))))
Mid-level-ontology.kif 18421-18442
Physique
est une
instance
de
Protecting
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
ARM
entit�
est une
instance
de
objet
objet
est un
patient
de
physique
entit�
ARM est une
sous
-classe de la
classe
d�crite par
entit�
physique
previent
l'occurrence de
entit�
ARM
hinders
physique
and
entit�
ARM
(=>
(
instance
?X
RemoteKeylessSystem
)
(
exists
(?KEY ?LOCK ?CLOSE ?OPEN)
(
and
(
instance
?KEY
Key
)
(
instance
?KEY
RemoteControl
)
(
member
?KEY ?X)
(
instance
?LOCK
Lock
)
(
member
?LOCK ?X)
(
capability
(
KappaFn
?CLOSE
(
and
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?CLOSE)
(
attribute
?LOCK
Locked
))))
instrument
?KEY)
(
capability
(
KappaFn
?OPEN
(
and
(
instance
?OPEN
Closing
)
(
patient
?OPEN ?LOCK)
(
holdsDuring
(
ImmediateFutureFn
?OPEN)
(
not
(
attribute
?LOCK
Locked
)))))
instrument
?KEY))))
Cars.kif 3775-3800
Collection
est une
instance
de
RemoteKeylessSystem
objet
physique
,
cha�ne sympbolique
and
cha�ne sympbolique
objet
est une
instance
de
Key
objet
est une
instance
de
RemoteControl
objet
est un
membre
de
collection
physique
est une
instance
de
Lock
physique
est un
membre
de
collection
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
instrument
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
instrument
(=>
(
instance
?X
SafetyDevice
)
(
hasPurpose
?X
(
exists
(?P ?H ?I ?T)
(
and
(
instance
?H
Human
)
(
instance
?P
Process
)
(
patient
?P ?H)
(
instrument
?P ?X)
(
prevents
?P
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(=>
(
holdsDuring
?T
(
experiencer
?I ?H))
(
not
(
holdsDuring
?T
(
patient
?P ?H)))))))))))
Cars.kif 3355-3373
Physique
est une
instance
de
SafetyDevice
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
humain
entit�
est une
instance
de
processus
entit�
est un
patient
de
entit�
physique
est un
instrument
pour
entit�
entit�
previent
l'occurrence de la
classe
d�crite par
entit�
(=>
(
instance
?X
SeatBelt
)
(
hasPurpose
?X
(
exists
(?PERSON ?STOP ?VEHICLE ?M)
(
and
(
instance
?VEHICLE
Vehicle
)
(
part
?X ?VEHICLE)
(
instance
?PERSON
Human
)
(
contains
?VEHICLE ?PERSON)
(
instance
?STOP
Process
)
(
prevents
?STOP
(
KappaFn
?M
(
and
(
instance
?M
Translocation
)
(
patient
?M ?PERSON)
(
exists
(?COLLISION)
(
and
(
or
(
instance
?COLLISION
Decelerating
)
(
instance
?COLLISION
Impacting
))
(
experiencer
?COLLISION ?VEHICLE)
(
causes
?COLLISION ?M)))
(
modalAttribute
(
exists
(?INJ ?IMP)
(
and
(
instance
?INJ
Injuring
)
(
instance
?IMP
Impacting
)
(
causes
?M ?INJ)
(
patient
?INJ ?PERSON)
(
subProcess
?IMP ?INJ)))
Possibility
))))))))
Cars.kif 3675-3704
Physique
est une
instance
de
SeatBelt
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Vehicle
physique
est une
partie
de
entit�
entit�
est une
instance
de
humain
entit�
contient
entit�
entit�
est une
instance
de
processus
entit�
previent
l'occurrence de la
classe
d�crite par
entit�
(=>
(
maxCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
lessThanOrEqualTo
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2198-2207
maxCardinality
relation
,
nombre entier
and
nombre entier
cha�ne sympbolique
@ARGS le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est plus
petit
ou �gal �
nombre entier
(=>
(
maximumReplications
?Application ?MaxCopies)
(
greaterThanOrEqualTo
?MaxCopies
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application)))))
QoSontology.kif 750-755
maximumReplications
programme d'ordinateur
and
nombre entier positif
nombre entier positif
est
plus
grand
ou �gal � le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
(=>
(
memberCount
?ORG ?NUM)
(
equal
?NUM
(
CardinalityFn
(
KappaFn
?MEM
(
member
?MEM ?ORG)))))
Mid-level-ontology.kif 22640-22646
memberCount
collection
and
nombre entier
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
(=>
(
minCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2161-2170
minCardinality
relation
,
nombre entier
and
nombre entier
cha�ne sympbolique
@ARGS le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
plus
grand
ou �gal �
nombre entier
(=>
(
minimumReplications
?Application ?MinCopies)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738
minimumReplications
programme d'ordinateur
and
nombre entier positif
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
plus
grand
ou �gal �
nombre entier positif
(=>
(
protonNumber
?SUBSTANCE ?NUMBER)
(=>
(
exists
(?ATOM)
(
and
(
part
?ATOM ?SUBSTANCE)
(
or
(
instance
?ATOM
Atom
)
(
instance
?ATOM
Molecule
))))
(
exists
(?PROTON)
(
equal
?NUMBER
(
CardinalityFn
(
KappaFn
?PROTON
(
and
(
part
?PROTON ?ATOM)
(
instance
?PROTON
Proton
))))))))
Mid-level-ontology.kif 21688-21703
protonNumber
substance pure
and
nombre entier positif
objet
objet
est une
partie
de
substance pure
objet
est une
instance
de
atome
objet
est une
instance
de
mol�cule
cha�ne sympbolique
nombre entier positif
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
(=>
(
siteCatalog
?DATABASE ?WEBSITE)
(
exists
(?PART ?PRODUCTS ?BUYING)
(
and
(
instance
?PRODUCTS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?PRODUCTS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PRODUCTS)
(
and
(
instance
?MEMBER
Physical
)
(
capability
(
KappaFn
?BUYING
(
and
(
instance
?BUYING
Buying
)
(
eCommerceSite
?BUYING ?WEBSITE)))
patient
?MEMBER)))))))
UXExperimentalTerms.kif 2242-2259
siteCatalog
Database
and
WebSite
objet
collection
and
cha�ne sympbolique
collection
est une
instance
de
collection
objet
est une
partie
de
Database
objet
d
�finie
collection
objet
objet
est un
membre
de
collection
objet
est une
instance
de
physique
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
patient
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners