Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
OatFarming
Sigma KEE - roomTempState
roomTempState
appearance as argument number 1
(
domain
roomTempState
2
PhysicalState
)
Mid-level-ontology.kif 31706-31706
roomTempState
的 2 数量 是
物质状态
的
instance
(
domainSubclass
roomTempState
1
Substance
)
Mid-level-ontology.kif 31707-31707
roomTempState
的 1 数量 是
物质
的
subclass
(
instance
roomTempState
BinaryPredicate
)
Mid-level-ontology.kif 31708-31708
roomTempState
是
二元谓语
的
instance
antecedent
(=>
(
and
(
roomTempState
?C ?PS)
(
instance
?S ?C)
(
holdsDuring
?T
(
roomTempState
?C
Liquid
))
(
measure
?S
(
MeasureFn
101
(
KiloFn
Pascal
))))
(
holdsDuring
?T
(
measure
?S
(
MeasureFn
68
FahrenheitDegree
))))
Mid-level-ontology.kif 31710-31721
如果
roomTempState
有点 物质
and
物质状态
和
物理
是
有点 物质
的
instance
和
roomTempState
那个 有点 物质
and
液体
在
时间位置
holdsDuring
和
那个 物理
的
measure
是 101
帕斯卡
的一千倍,
然后
那个 物理
的
measure
是 68
华氏度
在
那个 时间位置
holdsDuring
appearance as argument number 0
(
roomTempState
AbrinToxin
Solid
)
Mid-level-ontology.kif 31589-31589
roomTempState
abrin毒素
and
固体
(
roomTempState
Absolut
Liquid
)
Mid-level-ontology.kif 31472-31472
roomTempState
Absolut
and
液体
(
roomTempState
Actinium
Solid
)
Mid-level-ontology.kif 31571-31571
roomTempState
锕
and
固体
(
roomTempState
Alcohol
Liquid
)
Mid-level-ontology.kif 31590-31590
roomTempState
醇
and
液体
(
roomTempState
AlcoholicBeverage
Liquid
)
Mid-level-ontology.kif 31453-31453
roomTempState
酒精饮料
and
液体
(
roomTempState
Aldosterone
Liquid
)
Mid-level-ontology.kif 31591-31591
roomTempState
Aldosterone
and
液体
(
roomTempState
Alkaloid
Liquid
)
Mid-level-ontology.kif 31592-31592
roomTempState
生物碱
and
液体
(
roomTempState
Alumina
Solid
)
Mid-level-ontology.kif 31593-31593
roomTempState
矾土
and
固体
(
roomTempState
Aluminum
Solid
)
Mid-level-ontology.kif 31495-31495
roomTempState
铝
and
固体
(
roomTempState
Amaretto
Liquid
)
Mid-level-ontology.kif 31460-31460
roomTempState
Amaretto
and
液体
(
roomTempState
Americium
Solid
)
Mid-level-ontology.kif 31577-31577
roomTempState
銤
and
固体
(
roomTempState
AminoAcid
Liquid
)
Mid-level-ontology.kif 31594-31594
roomTempState
氨基酸
and
液体
(
roomTempState
Amphetamine
Solid
)
Mid-level-ontology.kif 31595-31595
roomTempState
Amphetamine
and
固体
(
roomTempState
AnimalFat
Solid
)
Food.kif 2872-2872
roomTempState
AnimalFat
and
固体
(
roomTempState
Antimony
Solid
)
Mid-level-ontology.kif 31533-31533
roomTempState
锑
and
固体
(
roomTempState
Aperitif
Liquid
)
Mid-level-ontology.kif 31457-31457
roomTempState
Aperitif
and
液体
(
roomTempState
Argon
Gas
)
Mid-level-ontology.kif 31500-31500
roomTempState
氩
and
加油站
(
roomTempState
Arsenic
Solid
)
Mid-level-ontology.kif 31515-31515
roomTempState
砷
and
固体
(
roomTempState
Arsine
Gas
)
Mid-level-ontology.kif 31588-31588
roomTempState
胂
and
加油站
(
roomTempState
Asbestos
Solid
)
Mid-level-ontology.kif 31596-31596
roomTempState
石棉
and
固体
(
roomTempState
Astatine
Solid
)
Mid-level-ontology.kif 31567-31567
roomTempState
砹
and
固体
(
roomTempState
Atropine
Liquid
)
Mid-level-ontology.kif 31597-31597
roomTempState
阿托品
and
液体
(
roomTempState
BZGas
Gas
)
Mid-level-ontology.kif 31603-31603
roomTempState
BZ气体
and
加油站
(
roomTempState
Bacardi
Liquid
)
Mid-level-ontology.kif 31468-31468
roomTempState
Bacardi
and
液体
(
roomTempState
Bacitracin
Liquid
)
Mid-level-ontology.kif 31598-31598
roomTempState
杆菌肽
and
液体
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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