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:
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 419-438
如果
有点 HotelUnit
的 承租人 能
pay
去使用
有点 物理
和
有点 物理
是
过程
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
那个 人类
是
过程
的
patient
和
那个 过程
是
那个 有点 物理
的
instance
或
另一个 过程
是
那个 有点 物理
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 过程
是
located
在
那个 暂住
,
然后 有存在
那个 过程
RICE 和
测量单位
这样
那个 过程
是 对于
那个 人类
的
price
那个 过程
RICE
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 过程
RICE 是
greaterThan
0
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 396-417
如果
有点 HotelUnit
的 承租人 能
pay
去使用
有点 物理
和
有点 物理
是
客体
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
客体
是
那个 有点 物理
的
instance
和
那个 客体
是
located
在
那个 暂住
和
过程
是
过程
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 过程
是
located
在
那个 暂住
或
那个 客体
是
那个 过程
的
patient
或
那个 客体
是导致
那个 过程
的
instrument
或
那个 客体
是
那个 过程
的
resource
,
然后 有存在
那个 过程
RICE 和
测量单位
这样
那个 客体
是 对于
那个 人类
的
price
那个 过程
RICE
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 过程
RICE 是
greaterThan
0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6308-6308
UnitOfCurrency
是
NonCompositeUnitOfMeasure
的
subclass
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