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
roomTempState
Sigma KEE - roomTempState
roomTempState
appearance as argument number 1
(
domain
roomTempState
2
PhysicalState
)
Mid-level-ontology.kif 31674-31674
域
roomTempState
, 2 and
PhysicalState
(
domainSubclass
roomTempState
1
Substance
)
Mid-level-ontology.kif 31675-31675
域子類
roomTempState
, 1 and
Substance
(
instance
roomTempState
BinaryPredicate
)
Mid-level-ontology.kif 31676-31676
例
roomTempState
and
BinaryPredicate
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 31678-31689
roomTempState
Substance
and
PhysicalState
例
Physical
and
Substance
持有期間
TimePosition
and
roomTempState
Substance
and
液體
測量
Physical
and
測量
101 and
千
帕斯卡
持有期間
TimePosition
and
測量
Physical
and
測量
68 and
華氏度
appearance as argument number 0
(
roomTempState
AbrinToxin
Solid
)
Mid-level-ontology.kif 31557-31557
roomTempState
abrin毒素
and
固體
(
roomTempState
Absolut
Liquid
)
Mid-level-ontology.kif 31440-31440
roomTempState
Absolut
and
液體
(
roomTempState
Actinium
Solid
)
Mid-level-ontology.kif 31539-31539
roomTempState
錒
and
固體
(
roomTempState
Alcohol
Liquid
)
Mid-level-ontology.kif 31558-31558
roomTempState
醇
and
液體
(
roomTempState
AlcoholicBeverage
Liquid
)
Mid-level-ontology.kif 31421-31421
roomTempState
酒精飲料
and
液體
(
roomTempState
Aldosterone
Liquid
)
Mid-level-ontology.kif 31559-31559
roomTempState
Aldosterone
and
液體
(
roomTempState
Alkaloid
Liquid
)
Mid-level-ontology.kif 31560-31560
roomTempState
生物鹼
and
液體
(
roomTempState
Alumina
Solid
)
Mid-level-ontology.kif 31561-31561
roomTempState
礬土
and
固體
(
roomTempState
Aluminum
Solid
)
Mid-level-ontology.kif 31463-31463
roomTempState
鋁
and
固體
(
roomTempState
Amaretto
Liquid
)
Mid-level-ontology.kif 31428-31428
roomTempState
Amaretto
and
液體
(
roomTempState
Americium
Solid
)
Mid-level-ontology.kif 31545-31545
roomTempState
銤
and
固體
(
roomTempState
AminoAcid
Liquid
)
Mid-level-ontology.kif 31562-31562
roomTempState
氨基酸
and
液體
(
roomTempState
Amphetamine
Solid
)
Mid-level-ontology.kif 31563-31563
roomTempState
Amphetamine
and
固體
(
roomTempState
AnimalFat
Solid
)
Food.kif 2872-2872
roomTempState
AnimalFat
and
固體
(
roomTempState
Antimony
Solid
)
Mid-level-ontology.kif 31501-31501
roomTempState
銻
and
固體
(
roomTempState
Aperitif
Liquid
)
Mid-level-ontology.kif 31425-31425
roomTempState
Aperitif
and
液體
(
roomTempState
Argon
Gas
)
Mid-level-ontology.kif 31468-31468
roomTempState
氬
and
加油站
(
roomTempState
Arsenic
Solid
)
Mid-level-ontology.kif 31483-31483
roomTempState
砷
and
固體
(
roomTempState
Arsine
Gas
)
Mid-level-ontology.kif 31556-31556
roomTempState
胂
and
加油站
(
roomTempState
Asbestos
Solid
)
Mid-level-ontology.kif 31564-31564
roomTempState
石棉
and
固體
(
roomTempState
Astatine
Solid
)
Mid-level-ontology.kif 31535-31535
roomTempState
砹
and
固體
(
roomTempState
Atropine
Liquid
)
Mid-level-ontology.kif 31565-31565
roomTempState
阿托品
and
液體
(
roomTempState
BZGas
Gas
)
Mid-level-ontology.kif 31571-31571
roomTempState
BZ氣體
and
加油站
(
roomTempState
Bacardi
Liquid
)
Mid-level-ontology.kif 31436-31436
roomTempState
Bacardi
and
液體
(
roomTempState
Bacitracin
Liquid
)
Mid-level-ontology.kif 31566-31566
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