Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
WearableItem
est une
instance
de
SafetyHarness
animal
est une
instance
de
animal
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
WearableItem
est un
instrument
pour
entit�
animal
est un
patient
de
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(=>
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
wears
?PERSON ?PE)))
(
exists
(?PROTECT ?EYE ?INJ ?I ?T)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?PE)
(
subclass
?INJ
(
KappaFn
?I
(
exists
(?HUMAN)
(
and
(
instance
?I
Injuring
)
(
instance
?EYE
Eye
)
(
instance
?HUMAN
Human
)
(
properPart
?EYE ?HUMAN)
(
patient
?I ?EYE)
(=>
(
holdsDuring
?T
(
patient
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROTECT ?PERSON))))))))
(
prevents
?PROTECT ?INJ))))))
Cars.kif 3482-3509
Physique
est une
instance
de
ProtectiveEyewear
physique
a pour
but
physique
RSON
physique
RSON est une
instance
de
humain
physique
RSON
porte
physique
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
processus
physique
est un
instrument
pour
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
(=>
(
and
(
instance
?R
RecreationOrExercise
)
(
instrument
?R ?RM)
(
instance
?RM
RowingMachine
)
(
experiencer
?R ?H)
(
instance
?ROW
Rowing
)
(
subProcess
?RMOT ?R)
(
subclass
?C
BodyMotion
)
(
instance
?RMOT ?C))
(
exists
(?ROWMOT)
(
and
(
instance
?ROWMOT ?C)
(
subProcess
?ROWMOT ?R)
(
agent
?ROWMOT ?H))))
Mid-level-ontology.kif 8243-8257
Processus
est une
instance
de
r�cr�ation ou exercice
processus
M est un
instrument
pour
processus
processus
M est une
instance
de
RowingMachine
AutonomousAgent
exp
�rimente
processus
processus
OW est une
instance
de
Rowing
processus
MOT est un
sous
-processus de
processus
classe
est une
sous
-classe de
mouvement du corps
processus
MOT est une
instance
de
classe
processus
OWMOT
processus
OWMOT est une
instance
de
classe
processus
OWMOT est un
sous
-processus de
processus
processus
OWMOT est un
agent
de
AutonomousAgent
(=>
(
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
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
physique
est une
sous
-classe de
objet
l'argument
entit�
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
entit�
entit�
exp
�rimente
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
freeRoomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
objet
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
objet
est une
instance
de
physique
objet
est
situ
� �
TemporaryResidence
processus
est une
instance
de
processus
processus
est un
agent
de
humain
objet
est un
patient
de
processus
objet
est un
instrument
pour
processus
objet
est une
resource
pour
processus
price
objet
, 0
UnitedStatesDollar
(s) and
humain
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
paidRoomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
objet
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
objet
est une
instance
de
physique
objet
est
situ
� �
TemporaryResidence
processus
est une
instance
de
processus
processus
est un
agent
de
humain
processus
est
situ
� �
TemporaryResidence
objet
est un
patient
de
processus
objet
est un
instrument
pour
processus
objet
est une
resource
pour
processus
processus
RICE
unit� de mesure
price
objet
,
processus
RICE
unit� de mesure
(s) and
humain
unit� de mesure
est une
instance
de
UnitOfCurrency
processus
RICE est
plus
grand
que 0
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
WearableItem
est une
instance
de
HearingProtection
animal
est une
instance
de
humain
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
WearableItem
est un
instrument
pour
entit�
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
guest
humain
and
AutonomousAgent
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
TemporaryResidence
est une
instance
de
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
physique
physique
est une
sous
-classe de
objet
physique
physique
est une
instance
de
physique
physique
est
situ
� �
TemporaryResidence
AutonomousAgent
autorise
humain
� ex�cut� des t�ches du type
entit�
entit�
est un
agent
de
humain
physique
est un
instrument
pour
entit�
physique
est un
patient
de
entit�
physique
est une
resource
pour
entit�
(=>
(
instance
?ARTIFACT
GameArtifact
)
(
exists
(?GAME)
(
and
(
subclass
?GAME
Game
)
(
capability
?GAME
instrument
?ARTIFACT))))
Mid-level-ontology.kif 16981-16986
Objet
est une
instance
de
GameArtifact
processus
processus
est une
sous
-classe de
jeu
objet
est
capable
de faire
processus
dans le r�le
instrument
(=>
(
and
(
subclass
?TYPE
TransportationDevice
)
(
subclass
(
TransportationFn
?TYPE)
Transportation
)
(
instance
?TRIP
(
TransportationFn
?TYPE)))
(
exists
(?VEHICLE)
(
and
(
instance
?VEHICLE ?TYPE)
(
instrument
?TRIP ?VEHICLE))))
Transportation.kif 1572-1580
V�hicule de transport
est une
sous
-classe de
v�hicule de transport
TransportationFn
v�hicule de transport
est une
sous
-classe de
transporter
processus
est une
instance
de
TransportationFn
v�hicule de transport
objet
objet
est une
instance
de
v�hicule de transport
objet
est un
instrument
pour
processus
(=>
(
and
(
trafficableForTrafficType
?PLACE ?TYPE)
(
subclass
?TYPE
TransportationDevice
)
(
instance
?MOVER ?TYPE))
(
capableAtLocation
Transportation
instrument
?MOVER ?PLACE))
Transportation.kif 2610-2615
trafficableForTrafficType
r�gion
and
objet en une partie
objet en une partie
est une
sous
-classe de
v�hicule de transport
objet
est une
instance
de
objet en une partie
capableAtLocation
transporter
,
instrument
,
objet
and
r�gion
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9561-9574
Objet
est une
instance
de
plante
objet
est une
partie
de
objet
processus
entit�
and
processus
processus
est une
instance
de
processus
processus
est une
sous
-classe de
garder
entit�
est une
instance
de
FreshWater
entit�
est un
patient
de
processus
objet
est
capable
de faire
processus
dans le r�le
instrument
objet
est une
instance
de
PlantLeaf
objet
est une
instance
de
PlantStem
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
customer
agent cognitif
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
physique
physique
est une
sous
-classe de
objet
entit�
est une
instance
de
physique
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
entit�
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