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
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
Wenn
paidRoomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
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
** Human
ist ein
patient
von
Process
%n{nicht} und
** Process
ist ein
fall
von
** ** Physical
%n{nicht} oder
** Process
ist ein
fall
von
** ** Physical
%n{nicht} und
** Process
ist ein
subProzess
von
** ** Process
und
** Process
befindet
sich an %n{nicht},
dann es gibt
** Process
RICE und
UnitOfMeasure
um
price
** Process
,
** Process
RICE
** UnitOfMeasure
(s) and
** Human
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** Process
RICE ist
groesserAls
0 %n{nicht}
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
Wenn
Catalog
ist ein
fall
von
SetMenu
%n{nicht} und
offers
AutonomousAgent
and
** Catalog
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
PreparedFood
und
Physical
ist ein
fall
von
Class
%n{nicht} und
** Physical
ist ein
fall
von
** ** Entity
%n{nicht} und
** Physical
ist gleich
** ** Physical
nicht und
price
** Physical
,
CurrencyMeasure
and
** AutonomousAgent
und
price
** ** Physical
,
** CurrencyMeasure
and
** AutonomousAgent
,
dann
** CurrencyMeasure
ist gleich
** ** CurrencyMeasure
%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
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
Wenn
freeRoomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
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
** Human
ist ein
patient
von
Process
%n{nicht} und
** Process
ist ein
fall
von
** ** Physical
%n{nicht} oder
** Process
ist ein
fall
von
** ** Physical
%n{nicht} und
** Process
ist ein
subProzess
von
** ** Process
und
** Process
befindet
sich an %n{nicht},
dann
price
** Process
, 0.0
UnitedStatesDollar
(s) and
** Human
(=>
(
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}
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