Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
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 480-496
customer
CognitiveAgent
and
CognitiveAgent
propertyAmenity
CognitiveAgent
and
Physical
subclass
Physical
and
Object
instance
Entity
and
Physical
confersRight
entity
instance
entity
and
Process
resource
entity
and
Entity
instrument
entity
and
Entity
patient
entity
and
Entity
agent
entity
and
CognitiveAgent
experiencer
entity
and
CognitiveAgent
,
CognitiveAgent
and
CognitiveAgent
(=>
(
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 289-308
guest
Human
and
CognitiveAgent
stays
Human
and
TemporaryResidence
element
TemporaryResidence
and
PropertyFn
CognitiveAgent
instance
TemporaryResidence
and
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
Physical
subclass
Physical
and
Object
Physical
instance
Physical
and
Physical
located
Physical
and
TemporaryResidence
confersRight
entity
agent
entity
and
Human
instrument
entity
and
Physical
patient
entity
and
Physical
resource
entity
and
Physical
,
CognitiveAgent
and
Human
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