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 31670-31670
roomTempState
の数値 2 引数は
物理状態
の
instance
では %n
(
domainSubclass
roomTempState
1
Substance
)
Mid-level-ontology.kif 31671-31671
roomTempState
の数値 1 引数は
物質
の
subclass
では %n
(
instance
roomTempState
BinaryPredicate
)
Mid-level-ontology.kif 31672-31672
roomTempState
は
2進述語
の
instance
では %n
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 31674-31685
roomTempState
物質
and
物理状態
物理
は
物質
の
instance
では %n
roomTempState
物質
and
Liquid
は
時間位置
の
during
holds %n{ない}
物理
の
measure
は 101 の 1 の
thousand
Pascal
s(s) では %n
物理
の
measure
は 68 の
FahrenheitDegree
(s) では %n は
時間位置
の
during
holds %n{ない}
appearance as argument number 0
(
roomTempState
AbrinToxin
Solid
)
Mid-level-ontology.kif 31553-31553
roomTempState
AbrinToxin
and
Solid
(
roomTempState
Absolut
Liquid
)
Mid-level-ontology.kif 31436-31436
roomTempState
Absolut
and
Liquid
(
roomTempState
Actinium
Solid
)
Mid-level-ontology.kif 31535-31535
roomTempState
Actinium
and
Solid
(
roomTempState
Alcohol
Liquid
)
Mid-level-ontology.kif 31554-31554
roomTempState
Alcohol
and
Liquid
(
roomTempState
AlcoholicBeverage
Liquid
)
Mid-level-ontology.kif 31417-31417
roomTempState
AlcoholicBeverage
and
Liquid
(
roomTempState
Aldosterone
Liquid
)
Mid-level-ontology.kif 31555-31555
roomTempState
Aldosterone
and
Liquid
(
roomTempState
Alkaloid
Liquid
)
Mid-level-ontology.kif 31556-31556
roomTempState
Alkaloid
and
Liquid
(
roomTempState
Alumina
Solid
)
Mid-level-ontology.kif 31557-31557
roomTempState
Alumina
and
Solid
(
roomTempState
Aluminum
Solid
)
Mid-level-ontology.kif 31459-31459
roomTempState
Aluminum
and
Solid
(
roomTempState
Amaretto
Liquid
)
Mid-level-ontology.kif 31424-31424
roomTempState
Amaretto
and
Liquid
(
roomTempState
Americium
Solid
)
Mid-level-ontology.kif 31541-31541
roomTempState
Americium
and
Solid
(
roomTempState
AminoAcid
Liquid
)
Mid-level-ontology.kif 31558-31558
roomTempState
AminoAcid
and
Liquid
(
roomTempState
Amphetamine
Solid
)
Mid-level-ontology.kif 31559-31559
roomTempState
Amphetamine
and
Solid
(
roomTempState
AnimalFat
Solid
)
Food.kif 2872-2872
roomTempState
AnimalFat
and
Solid
(
roomTempState
Antimony
Solid
)
Mid-level-ontology.kif 31497-31497
roomTempState
Antimony
and
Solid
(
roomTempState
Aperitif
Liquid
)
Mid-level-ontology.kif 31421-31421
roomTempState
Aperitif
and
Liquid
(
roomTempState
Argon
Gas
)
Mid-level-ontology.kif 31464-31464
roomTempState
Argon
and
Gas
(
roomTempState
Arsenic
Solid
)
Mid-level-ontology.kif 31479-31479
roomTempState
Arsenic
and
Solid
(
roomTempState
Arsine
Gas
)
Mid-level-ontology.kif 31552-31552
roomTempState
Arsine
and
Gas
(
roomTempState
Asbestos
Solid
)
Mid-level-ontology.kif 31560-31560
roomTempState
Asbestos
and
Solid
(
roomTempState
Astatine
Solid
)
Mid-level-ontology.kif 31531-31531
roomTempState
Astatine
and
Solid
(
roomTempState
Atropine
Liquid
)
Mid-level-ontology.kif 31561-31561
roomTempState
Atropine
and
Liquid
(
roomTempState
BZGas
Gas
)
Mid-level-ontology.kif 31567-31567
roomTempState
BZGas
and
Gas
(
roomTempState
Bacardi
Liquid
)
Mid-level-ontology.kif 31432-31432
roomTempState
Bacardi
and
Liquid
(
roomTempState
Bacitracin
Liquid
)
Mid-level-ontology.kif 31562-31562
roomTempState
Bacitracin
and
Liquid
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