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
(
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
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
exists
(?R ?O)
(
and
(
instance
?R
(
DeadFn
?ORG))
(
part
?R ?O)
(
instance
?O ?ORG))))
Economy.kif 5267-5276
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
objet
objet
objet
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet
est une
instance
de
objet organique
(=>
(
and
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
forall
(?R)
(=>
(
instance
?R ?ROOM)
(
exists
(?O)
(
and
(
instance
?R ?ROOM)
(
instance
?O ?OBJ)
(
located
?O ?R))))))
Hotel.kif 281-292
roomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
objet
objet
objet
est une
instance
de
HotelUnit
physique
objet
est une
instance
de
HotelUnit
physique
est une
instance
de
physique
physique
est
situ
� �
objet
(=>
(
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
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
Processus
est une
sous
-classe de
processus
processus
est une
instance
de
processus
eventLocated
processus
and
r�gion
r�le d�pendant du cas
est une
instance
de
r�le d�pendant du cas
objet
est une
instance
de
objet
r�gion
est une
instance
de
secteur g�ographique
r�le d�pendant du cas
processus
and
objet
capableAtLocation
processus
,
r�le d�pendant du cas
,
objet
and
r�gion
(=>
(
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
?T
Truck
)
(
exists
(?L)
(
and
(
subclass
?L
Object
)
(
cargoType
?T ?L))))
Transportation.kif 2019-2024
V�hicule de transport
est une
instance
de
Truck
objet
objet
est une
sous
-classe de
objet
cargoType
v�hicule de transport
and
objet
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
objet
objet organique
est une
sous
-classe de
organisme
objet organique
est une
sous
-classe de
structure anatomique
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
DutyFree
est un
attribut
de
objet
objet
est une
instance
de
Store
secteur g�opolitique
entit�
,
objet
and
processus
secteur g�opolitique
est une
instance
de
secteur g�opolitique
objet
est
situ
� �
secteur g�opolitique
objet
est une
sous
-classe de
objet
importCommodityType
secteur g�opolitique
and
objet
entit�
est une
instance
de
objet
processus
est une
instance
de
vendre
entit�
est un
patient
de
processus
processus
est
situ
� �
objet
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINST ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINST ?OBJ))
(
capability
?PROCESS
agent
?AGENT))
Catalog.kif 98-107
offers
AutonomousAgent
and
Catalog
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
objet
processus
est une
instance
de
processus
processus
est une
sous
-classe de
processus
entit�
est une
instance
de
entit�
entit�
est un
patient
de
processus
AutonomousAgent
est
capable
de faire
processus
dans le r�le
agent
(=>
(
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�
(=>
(
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�
(=>
(
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
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
offersAtTime
AutonomousAgent
,
Catalog
and
interval temporel
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
objet
processus
est une
instance
de
processus
processus
est une
sous
-classe de
processus
entit�
est une
instance
de
entit�
entit�
est un
patient
de
processus
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
interval temporel
capabilityDuring
processus
,
agent
,
AutonomousAgent
and
interval temporel
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Object
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))))
Geography.kif 2271-2278
naturalHazardTypeInArea
secteur g�ographique
and
physique
physique
est une
sous
-classe de
objet
physique
physique
est une
instance
de
physique
physique
est
situ
� �
secteur g�ographique
(
subclass
Object
Physical
)
Merge.kif 846-846
Objet
est une
sous
-classe de
physique
(
subclass
TornadoDamage
Object
)
Weather.kif 2068-2068
TornadoDamage
est une
sous
-classe de
objet
(
subclass
TwoDimensionalObject
Object
)
Mid-level-ontology.kif 4797-4797
TwoDimensionalObject
est une
sous
-classe de
objet
(
subclass
TransitwayObstacle
Object
)
Mid-level-ontology.kif 15250-15250
TransitwayObstacle
est une
sous
-classe de
objet
(
subclass
ContactSite
Object
)
Mid-level-ontology.kif 24553-24553
ContactSite
est une
sous
-classe de
objet
(
subclass
SphericalObject
Object
)
Mid-level-ontology.kif 25611-25611
SphericalObject
est une
sous
-classe de
objet
(
subclass
SelfConnectedObject
Object
)
Merge.kif 862-862
Objet en une partie
est une
sous
-classe de
objet
(
subclass
Region
Object
)
Merge.kif 1251-1251
R�gion
est une
sous
-classe de
objet
(
subclass
Collection
Object
)
Merge.kif 1261-1261
Collection
est une
sous
-classe de
objet
(
subclass
AutonomousAgent
Object
)
Merge.kif 1556-1556
AutonomousAgent
est une
sous
-classe de
objet
(
subclass
AstronomicalBody
Object
)
Merge.kif 14022-14022
Corps astronomique
est une
sous
-classe de
objet
(
subclass
Artifact
Object
)
Merge.kif 15681-15681
Artefact
est une
sous
-classe de
objet
(
subclass
Magnet
Object
)
Cars.kif 3866-3866
Magnet
est une
sous
-classe de
objet
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