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
Catalog
は
BeverageMenu
の
instance
では %n
catalogItem
エンティティー
and
Catalog
エンティティー
は
飲料
の
subclass
では %n
(=>
(
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
Catalog
は
SetMenu
の
instance
では %n
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
PreparedFood
の
subclass
では %n
物理
は
クラス
の
instance
では %n
物理
は
エンティティー
の
instance
では %n
物理
は
物理
と
equal
では
price
物理
,
通貨測定
and
AutonomousAgent
price
物理
,
通貨測定
and
AutonomousAgent
通貨測定
は
通貨測定
と
equal
では %n
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
工程
の
subclass
では %n
AutonomousAgent
は
エンティティー
を
agent
として行う
capable
では %n
(=>
(
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
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
命題
の
subclass
では %n
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
エンティティー
の内容を
express
es %n{ない}
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n には
Possibility
の
modal
force
が ある
(=>
(
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
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
オブジェクト
の
subclass
では %n
工程
は
工程
の
instance
では %n
工程
は
工程
の
subclass
では %n
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
を
agent
として行う
capable
では %n
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Catalog
は
Menu
の
instance
では %n
catalogItem
エンティティー
and
Catalog
エンティティー
は
FoodForFn
人[人間]
の
subclass
では %n
(=>
(
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
offersAtTime
AutonomousAgent
,
Catalog
and
時間間隔
catalogItem
エンティティー
and
Catalog
エンティティー
は
オブジェクト
の
subclass
では %n
工程
は
工程
の
instance
では %n
工程
は
工程
の
subclass
では %n
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
subclass
では %n
capabilityDuring
工程
,
agent
,
AutonomousAgent
and
時間間隔
(=>
(
and
(
instance
?MENU
WineMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
WineMenu
))
Dining.kif 229-233
Catalog
は
WineMenu
の
instance
では %n
catalogItem
エンティティー
and
Catalog
エンティティー
は
WineMenu
の
subclass
では %n
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 219-223
Catalog
は
AlcoholMenu
の
instance
では %n
catalogItem
エンティティー
and
Catalog
エンティティー
は
AlcoholicBeverage
の
subclass
では %n
(=>
(
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
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
物理
の
subclass
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
販売
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n には
Possibility
の
modal
force
が ある
(=>
(
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
offersAtTime
AutonomousAgent
,
Catalog
and
時間間隔
catalogItem
エンティティー
and
Catalog
エンティティー
は
工程
の
subclass
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
subclass
では %n
capabilityDuring
エンティティー
,
agent
,
AutonomousAgent
and
時間間隔
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