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
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
Wenn
customer
CognitiveAgent
and
AutonomousAgent
und
propertyAmenity
** AutonomousAgent
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
,
dann die Aussage es gibt
entity
,
** entity
, and und
** entity
um
** ** entity
ist ein
element
von
eigentum
von
** AutonomousAgent
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** entity
%n{nicht} und
** entity
ist ein
fall
von
** ** Physical
%n{nicht} oder
** ** entity
ist ein
fall
von
** ** Physical
%n{nicht} und
** entity
ist ein
subProzess
von
** ** entity
und
** entity
befindet
sich an %n{nicht} hat die modale Kraft von
Possibility
(=>
(
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
Wenn
Process
ist ein
fall
von
RecreationOrExercise
%n{nicht} und
** Process
M ist ein
instrument
fuer
** Process
%n{nicht} und
** Process
M ist ein
fall
von
RowingMachine
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** Process
OW ist ein
fall
von
Rowing
%n{nicht} und
** Process
MOT ist ein
subProzess
von
** Process
und
Class
ist eine
teilkategorie
von
BodyMotion
und
** Process
MOT ist ein
fall
von
** Class
%n{nicht},
dann es gibt
** Process
OWMOT um
** Process
OWMOT ist ein
fall
von
** Class
%n{nicht} und
** Process
OWMOT ist ein
subProzess
von
** Process
und
** Process
OWMOT ist der
agent
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
Wenn
Process
ist ein
fall
von
Buying
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
beginnet an
CognitiveAgent
%n{nicht} und
publishedPrice
** ** Entity
,
CurrencyMeasure
,
** CognitiveAgent
and
PricingScheme
oder
unitPrice
** ** Entity
,
FunctionQuantity
,
** CognitiveAgent
and
** PricingScheme
und
** ** ** Entity
ist eine
teilkategorie
von
Physical
und
** Entity
ist ein
direkter
fall von
** ** ** Entity
und
validPaymentType
** PricingScheme
and
** Payment
,
dann die Aussage es gibt
** Payment
MENT um
** ** Payment
MENT ist ein
fall
von
** ** Payment
%n{nicht} und
** ** Payment
MENT ist ein
subProzess
von
** Process
hat die modale Kraft von
Likely
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
Wenn
roomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
,
dann die Aussage es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
** HotelUnit
%n{nicht} und
** entity
ist ein
element
von
eigentum
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
** ** Physical
%n{nicht} oder
** ** entity
ist ein
fall
von
** ** Physical
%n{nicht} und
** ** entity
ist ein
subProzess
von
** ** entity
und
** ** entity
befindet
sich an %n{nicht} hat die modale Kraft von
Possibility
(=>
(
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 ?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}
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