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.
Merge.kif 13820-13829
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
凱文度
是
PureSubstance
的
melting
點
測量
RealNumber
and
英寸汞
是
Object
的
barometric
壓力
比較多
RealNumber
and 29.92
測量
Object
and
測量
RealNumber
and
凱文度
少於
RealNumber
and
RealNumber
attribute
Object
and
固體
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13516-13527
Object
的
minimum
預期價值是
測量
RealNumber
and
UnitOfMeasure
子類
Class
and
NonCompositeUnitOfMeasure
例
UnitOfMeasure
and
Class
模態屬性
entity
RealNumber
UANTITY and
entity
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
entity
例
entity
and
Class
少於
RealNumber
UANTITY and
RealNumber
and
較不可能
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13809-13818
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
凱文度
是
PureSubstance
的
boiling
點
測量
RealNumber
and
凱文度
是
PureSubstance
的
melting
點
測量
Object
and
測量
RealNumber
and
凱文度
比較多
RealNumber
and
RealNumber
少於
RealNumber
and
RealNumber
attribute
Object
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