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
Wenn
functionRoomAmenity
** HotelFunctionRoom
and
** Physical
und
Entity
ist ein
fall
von
** HotelFunctionRoom
%n{nicht} und
** Entity
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
Renting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
endet an
** Entity
%n{nicht} und
** Physical
ist eine
teilkategorie
von
Object
,
dann die Aussage es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
** ** Physical
%n{nicht} und
** ** entity
ist ein
fall
von
Process
%n{nicht} und
** ** entity
ist ein
hilfmittel
fuer
** ** entity
%n{nicht} oder
** ** entity
ist ein
instrument
fuer
** ** entity
%n{nicht} oder
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** ** Entity
%n{nicht} oder
** ** Entity
erfaehrt
** ** entity
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
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
Wenn
guest
Human
and
AutonomousAgent
und
stays
** Human
and
TemporaryResidence
und
** TemporaryResidence
ist ein
element
von
eigentum
von
** AutonomousAgent
%n{nicht} und
** TemporaryResidence
ist ein
fall
von
** TemporaryResidence
OOM %n{nicht} und
roomAmenity
** TemporaryResidence
OOM and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
,
dann es gibt
** Physical
um
** ** Physical
ist ein
fall
von
** ** Physical
%n{nicht} und
** ** Physical
befindet
sich an %n{nicht} und
** AutonomousAgent
erlaubt
** Human
, die Aufgabe der Art von es gibt
entity
um
** entity
ist der
agent
von
** Human
%n{nicht} und
** ** Physical
ist ein
instrument
fuer
** entity
%n{nicht} oder
** ** Physical
ist ein
patient
von
** entity
%n{nicht} oder
** ** Physical
ist ein
hilfmittel
fuer
** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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
Wenn
customer
CognitiveAgent
and
AutonomousAgent
und
propertyAmenity
** AutonomousAgent
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
und
Entity
ist ein
fall
von
** ** Physical
%n{nicht},
dann
** AutonomousAgent
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
** entity
um
** ** entity
ist ein
fall
von
Process
%n{nicht} und
** Entity
ist ein
hilfmittel
fuer
** ** entity
%n{nicht} oder
** Entity
ist ein
instrument
fuer
** ** entity
%n{nicht} oder
** Entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** ** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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
Wenn
paidRoomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
und
TemporaryResidence
ist ein
fall
von
** HotelUnit
%n{nicht} und
stays
Human
and
** TemporaryResidence
und
** TemporaryResidence
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Object
ist ein
fall
von
** ** Physical
%n{nicht} und
** Object
befindet
sich an %n{nicht} und
Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht} und
** Process
befindet
sich an %n{nicht} oder
** Object
ist ein
patient
von
** Process
%n{nicht} oder
** Object
ist ein
instrument
fuer
** Process
%n{nicht} oder
** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht},
dann es gibt
** Process
RICE und
UnitOfMeasure
um
price
** Object
,
** Process
RICE
** UnitOfMeasure
(s) and
** Human
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** Process
RICE ist
groesserAls
0 %n{nicht}
(=>
(
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
Wenn
freeRoomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
und
TemporaryResidence
ist ein
fall
von
** HotelUnit
%n{nicht} und
stays
Human
and
** TemporaryResidence
und
** TemporaryResidence
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Object
ist ein
fall
von
** ** Physical
%n{nicht} und
** Object
befindet
sich an %n{nicht} und
Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} oder
** Object
ist ein
instrument
fuer
** Process
%n{nicht} oder
** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht},
dann
price
** Object
, 0
UnitedStatesDollar
(s) 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