Human
(humain)
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
Transf�re
est une
instance
de
Vending
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Currency
l'argument
objet
est une
instance
de
FoodForFn
humain
objet
est une
instance
de
boisson
a la
force
modale
de
Likely
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
Objet
est une
instance
de
CarAlarm
objet
est une
instance
de
SelfPoweredRoadVehicle
objet
est une
partie
de
objet
entit�
entit�
,
entit�
and
entit�
objet
a pour
but
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
entit�
est une
instance
de
humain
entit�
est un
agent
de
entit�
objet
est un
patient
de
entit�
temps
d'existence de
entit�
est
entit�
eventPartlyLocated
entit�
and
entit�
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
agent
de
objet
entit�
cause
entit�
entit�
a pour
but
entit�
entit�
est une
instance
de
humain
entit�
est
Near
�
entit�
pendant
entit�
augmente
la probabilit� de
entit�
conna
�t
entit�
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
eventPartlyLocated
entit�
and
entit�
objet
est un
patient
de
entit�
pendant
entit�
temps
d'existence de
entit�
finit
temps
d'existence de
entit�
(=>
(
and
(
instance
?X
ContentBearingObject
)
(
attribute
?X
Braille
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
attribute
?H
Blind
)
(
capability
Interpreting
agent
?H)
(
capability
Interpreting
patient
?X))))
Dining.kif 244-253
Objet
est une
instance
de
objet exprimant un sens
Braille
est un
attribut
de
objet
objet
objet
est une
instance
de
humain
Blind
est un
attribut
de
objet
objet
est
capable
de faire
Interpreting
dans le r�le
agent
objet
est
capable
de faire
Interpreting
dans le r�le
patient
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
WearableItem
est une
instance
de
Respirator
animal
est une
instance
de
animal
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
processus
WearableItem
est un
instrument
pour
entit�
entit�
previent
l'occurrence de
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
(=>
(
and
(
instance
?X
WhirlpoolTub
)
(
attribute
?X
DoubleSize
))
(
modalAttribute
(
exists
(?T1)
(
holdsDuring
?T1
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
not
(
equal
?P1 ?P2))
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 25333-25346
Objet
est une
instance
de
WhirlpoolTub
DoubleSize
est un
attribut
de
objet
l'argument
entit�
entit�
entit�
entit�
est une
instance
de
humain
entit�
est une
instance
de
humain
entit�
est
entit�
entit�
est
situ
� �
objet
entit�
est
situ
� �
objet
pendant
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
numberOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL)
(
and
(
instance
?COL
GroupOfPeople
)
(
memberType
?COL
Human
)
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2864-2873
numberOccupant
HotelReservation
and
nombre entier
fulfillingEntity
AutonomousAgent
and
HotelReservation
collection
collection
est une
instance
de
GroupOfPeople
memberType
collection
and
humain
memberCount
collection
and
nombre entier
potentialCustomer
collection
and
AutonomousAgent
(=>
(
and
(
subordinatePosition
?ORG ?ROLE1 ?ROLE2)
(
occupiesPosition
?PERSON1 ?ROLE1 ?ORG))
(
exists
(?PERSON2)
(
and
(
instance
?PERSON2
Human
)
(
occupiesPosition
?PERSON2 ?ROLE2 ?ORG)
(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 22753-22761
subordinatePosition
organisation
,
position
and
position
humain
occupe la
position
de
position
organisation
humain
humain
est une
instance
de
humain
humain
occupe la
position
de
position
organisation
subordinateInOrganization
organisation
,
humain
and
humain
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
viewType
objet
and
physique
objet
est une
instance
de
pi�ce
objet
est une
instance
de
physique
objet
est
Outside
�
objet
l'argument
entit�
entit�
entit�
est une
instance
de
humain
entit�
est
situ
� �
objet
entit�
est une
instance
de
voir
objet
est un
patient
de
entit�
entit�
est un
agent
de
entit�
a la
force
modale
de
Possibility
(=>
(
arrested
?ARREST ?OBJ)
(
or
(
instance
?OBJ
Human
)
(
instance
?OBJ
GroupOfPeople
)))
Mid-level-ontology.kif 23488-23492
arrested
PlacingUnderArrest
and
AutonomousAgent
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est une
instance
de
GroupOfPeople
(=>
(
attribute
?COACH
Coach
)
(
exists
(?ATHLETE ?GAME ?EDUCATION)
(
and
(
instance
?ATHLETE
Human
)
(
instance
?GAME
Game
)
(
instance
?EDUCATION
EducationalProcess
)
(
agent
?EDUCATION ?COACH)
(
patient
?EDUCATION ?ATHLETE)
(
refers
?EDUCATION ?GAME))))
Sports.kif 524-533
Coach
est un
attribut
de
AutonomousAgent
entit�
entit�
and
processus
entit�
est une
instance
de
humain
entit�
est une
instance
de
jeu
processus
est une
instance
de
processus educationnel
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
inclut une
r
�f�rence �
entit�
(=>
(
attribute
?X
BarberShops
)
(
hasPurpose
?X
(
exists
(?HAIR ?HUMAN ?CUT ?STYLIST)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?HUMAN)
(
instance
?HUMAN
Human
)
(
instance
?CUT
Cutting
)
(
patient
?CUT ?HAIR)
(
eventLocated
?CUT ?X)
(
agent
?CUT ?STYLIST)
(
employs
?X ?STYLIST)))))
naics.kif 11934-11946
BarberShops
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Hair
entit�
est une
partie
de
entit�
entit�
est une
instance
de
humain
entit�
est une
instance
de
couper
entit�
est un
patient
de
entit�
eventLocated
entit�
and
objet
entit�
est un
agent
de
entit�
objet
emploie
entit�
(=>
(
attribute
?X
ExecutiveLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
BusinessExecutive
)
(
instance
?HUMAN
Human
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1224-1236
ExecutiveLevel
est un
attribut
de
objet
physique
physique
est une
instance
de
HotelRoom
physique
est
situ
� �
objet
physique
a pour
but
entit�
BusinessExecutive
est un
attribut
de
entit�
entit�
est une
instance
de
humain
stays
entit�
and
physique
(=>
(
attribute
?X
FemaleExecutiveRoom
)
(
hasPurpose
?X
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
attribute
?HUMAN
Female
)
(
attribute
?HUMAN
BusinessExecutive
)
(
stays
?HUMAN ?X)))))
Hotel.kif 1042-1050
FemaleExecutiveRoom
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
est une
instance
de
humain
Female
est un
attribut
de
entit�
BusinessExecutive
est un
attribut
de
entit�
stays
entit�
and
objet
(=>
(
attribute
?X
HandicappedFriendly
)
(
exists
(?ATTR ?PERSON)
(
and
(
instance
?ATTR
Disability
)
(
instance
?PERSON
Human
)
(
attribute
?PERSON ?ATTR)
(
inScopeOfInterest
?PERSON ?X))))
Mid-level-ontology.kif 26182-26189
HandicappedFriendly
est un
attribut
de
objet
attribut
agent cognitif
attribut
est une
instance
de
Disability
agent cognitif
est une
instance
de
humain
attribut
est un
attribut
de
agent cognitif
agent cognitif
est
interess
� par
objet
(=>
(
attribute
?X
Multilingual
)
(
instance
?X
Human
))
Mid-level-ontology.kif 25744-25746
Multilingual
est un
attribut
de
objet
objet
est une
instance
de
humain
(=>
(
attribute
?X
SnackAndNonalcoholicBeverageBars
)
(
hasPurpose
?X
(
exists
(?SELL ?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
instance
?SELL
Selling
)
(
patient
?SELL ?FOOD)
(
agent
?SELL ?X)))))
naics.kif 11668-11676
SnackAndNonalcoholicBeverageBars
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
FoodForFn
humain
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
objet
(=>
(
attribute
?X
Waiter
)
(
instance
?X
Human
))
Mid-level-ontology.kif 20597-20599
Waiter
est un
attribut
de
objet
objet
est une
instance
de
humain
(=>
(
bloodVolume
?H ?V)
(
and
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
contains
?H ?B)
(
instance
?H
Human
)
(
measure
?B ?V)))
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Blood
)
(
contains
?H ?B2)
(
not
(
piece
?B2 ?B)))))))
Medicine.kif 5897-5912
bloodVolume
humain
and
mesure de volume
substance
substance
est une
instance
de
sang
humain
contient
substance
humain
est une
instance
de
humain
la
mesure
de
substance
est
mesure de volume
substance
2
substance
2 est une
instance
de
sang
humain
contient
substance
2
substance
2 est une
pi
�ce de
substance
(=>
(
electionForPosition
?ELECTION ?ROLE)
(
exists
(?CANDIDATE)
(
and
(
instance
?CANDIDATE
Human
)
(
candidateForPosition
?ELECTION ?ROLE ?CANDIDATE))))
Government.kif 1753-1758
electionForPosition
Election
and
r�le social
AutonomousAgent
AutonomousAgent
est une
instance
de
humain
candidateForPosition
Election
,
r�le social
and
AutonomousAgent
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
causes
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
during
(
WhenFn
?P) ?T)))
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))))
emotion.kif 865-877
InterpersonalDisgust
est un
attribut
de
entit�
pendant
position temporel
entit�
entit�
entit�
est une
instance
de
perception
entit�
est un
patient
de
entit�
entit�
exp
�rimente
entit�
entit�
est une
instance
de
humain
temps
d'existence de
entit�
prend place
pendant
position temporel
cause
InterpersonalDisgust
est un
attribut
de
entit�
pendant
position temporel
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
not
(
equal
?H ?A))
(
during
(
WhenFn
?P) ?T))))
emotion.kif 852-863
InterpersonalDisgust
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
entit�
processus
est une
instance
de
perception
entit�
est un
patient
de
processus
AutonomousAgent
exp
�rimente
processus
entit�
est une
instance
de
humain
entit�
est
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
interval temporel
(=>
(
holdsDuring
?T
(
attribute
?X
SafetyPosition
))
(
holdsDuring
?T
(
hasPurpose
?X
(
exists
(?P ?H ?I ?T2)
(
and
(
instance
?H
Human
)
(
instance
?P
Process
)
(
patient
?P ?H)
(
agent
?P ?X)
(
prevents
?P
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(=>
(
holdsDuring
?T2
(
experiencer
?I ?H))
(
not
(
holdsDuring
?T2
(
patient
?P ?H))))))))))))
Mid-level-ontology.kif 30707-30727
SafetyPosition
est un
attribut
de
entit�
pendant
position temporel
entit�
a pour
but
entit�
entit�
,
entit�
and
position temporel
2
entit�
est une
instance
de
humain
entit�
est une
instance
de
processus
entit�
est un
patient
de
entit�
entit�
est un
agent
de
entit�
entit�
previent
l'occurrence de la
classe
d�crite par
entit�
pendant
position temporel
(=>
(
holdsDuring
?TIME
(
attribute
?SLAVE
HumanSlave
))
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
not
(
equal
?PERSON ?SLAVE))
(
holdsDuring
?TIME
(
possesses
?PERSON ?SLAVE)))))
Mid-level-ontology.kif 176-183
HumanSlave
est un
attribut
de
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
humain
entit�
est
entit�
entit�
poss
�de
entit�
pendant
position temporel
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
Tourniquet
est un
attribut
de
objet
pendant
objet
IME
AutonomousAgent
processus
and
transf�re
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
Bleeding
transf�re
est une
instance
de
attacher
AutonomousAgent
exp
�rimente
processus
transf�re
aboutit
�
AutonomousAgent
objectTransferred
transf�re
and
objet
objet
a pour
but
processus
2
processus
2 est une
instance
de
Bleeding
immediatement
apr
�s
temps
d'existence de
transf�re
recouvre
temps
d'existence de
processus
2
AutonomousAgent
exp
�rimente
processus
2
(=>
(
instance
?A
Ambulance
)
(
hasPurpose
?A
(
exists
(?P ?T)
(
and
(
instance
?P
Human
)
(
or
(
attribute
?P
DiseaseOrSyndrome
)
(
exists
(?I ?H)
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?H)
(
before
?I ?T))))
(
instance
?T
Transportation
)
(
instrument
?T ?A)
(
patient
?T ?H)))))
Transportation.kif 1906-1921
Physique
est une
instance
de
Ambulance
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
entit�
entit�
entit�
entit�
est une
instance
de
blesser
entit�
exp
�rimente
entit�
entit�
se produit
avant
entit�
entit�
est une
instance
de
transporter
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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