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
(
instance
?MENU
BeverageMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
Beverage
))
Dining.kif 208-212
Wenn
Catalog
ist ein
fall
von
BeverageMenu
%n{nicht} und
catalogItem
** Entity
and
** Catalog
,
dann
** Entity
ist eine
teilkategorie
von
Beverage
(=>
(
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
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
Wenn
offers
AutonomousAgent
and
Catalog
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Process
,
dann
** AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
** ** Entity
zu tun
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
Wenn
offers
AutonomousAgent
and
Catalog
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Proposition
,
dann die Aussage es gibt
** entity
,
** entity
, and und
** entity
um
** ** entity
ist ein
fall
von
** ** Entity
%n{nicht} und
** ** entity
druekt den Inhalt von
** ** entity
aus und
** ** entity
ist ein
fall
von
Selling
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
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
Wenn
offers
AutonomousAgent
and
Catalog
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Object
und
Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Process
ist eine
teilkategorie
von
Process
und
** Entity
ist ein
fall
von
** ** Entity
%n{nicht} und
** ** Entity
ist ein
patient
von
** Process
%n{nicht},
dann
** AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
** ** ** Process
zu tun
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Wenn
Catalog
ist ein
fall
von
Menu
%n{nicht} und
catalogItem
** Entity
and
** Catalog
,
dann
** Entity
ist eine
teilkategorie
von
FoodForFn
Human
(=>
(
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
Wenn
offersAtTime
AutonomousAgent
,
Catalog
and
TimeInterval
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Object
und
Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Process
ist eine
teilkategorie
von
Process
und
** Entity
ist ein
fall
von
** ** Entity
%n{nicht} und
** ** Entity
ist ein
patient
von
** Process
%n{nicht} und
** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist eine
teilkategorie
von
TimeInterval
,
dann
capabilityDuring
** ** ** Process
,
agent
,
** AutonomousAgent
and
** ** ** TimeInterval
(=>
(
and
(
instance
?MENU
WineMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
WineMenu
))
Dining.kif 229-233
Wenn
Catalog
ist ein
fall
von
WineMenu
%n{nicht} und
catalogItem
** Entity
and
** Catalog
,
dann
** Entity
ist eine
teilkategorie
von
WineMenu
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 219-223
Wenn
Catalog
ist ein
fall
von
AlcoholMenu
%n{nicht} und
catalogItem
** Entity
and
** Catalog
,
dann
** Entity
ist eine
teilkategorie
von
AlcoholicBeverage
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
Wenn
offers
AutonomousAgent
and
Catalog
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Physical
,
dann die Aussage es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
** ** Entity
%n{nicht} und
** ** entity
ist ein
fall
von
Selling
%n{nicht} und
** ** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?CLASS
agent
?AGENT ?TIME))
Catalog.kif 130-137
Wenn
offersAtTime
AutonomousAgent
,
Catalog
and
TimeInterval
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Process
und
** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist eine
teilkategorie
von
TimeInterval
,
dann
capabilityDuring
** ** Entity
,
agent
,
** AutonomousAgent
and
** ** ** TimeInterval
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