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
Butter
Sigma KEE - roomTempState
roomTempState
appearance as argument number 1
(
domain
roomTempState
2
PhysicalState
)
Mid-level-ontology.kif 31670-31670
(
domainSubclass
roomTempState
1
Substance
)
Mid-level-ontology.kif 31671-31671
(
instance
roomTempState
BinaryPredicate
)
Mid-level-ontology.kif 31672-31672
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
appearance as argument number 0
(
roomTempState
AbrinToxin
Solid
)
Mid-level-ontology.kif 31553-31553
(
roomTempState
Absolut
Liquid
)
Mid-level-ontology.kif 31436-31436
(
roomTempState
Actinium
Solid
)
Mid-level-ontology.kif 31535-31535
(
roomTempState
Alcohol
Liquid
)
Mid-level-ontology.kif 31554-31554
(
roomTempState
AlcoholicBeverage
Liquid
)
Mid-level-ontology.kif 31417-31417
(
roomTempState
Aldosterone
Liquid
)
Mid-level-ontology.kif 31555-31555
(
roomTempState
Alkaloid
Liquid
)
Mid-level-ontology.kif 31556-31556
(
roomTempState
Alumina
Solid
)
Mid-level-ontology.kif 31557-31557
(
roomTempState
Aluminum
Solid
)
Mid-level-ontology.kif 31459-31459
(
roomTempState
Amaretto
Liquid
)
Mid-level-ontology.kif 31424-31424
(
roomTempState
Americium
Solid
)
Mid-level-ontology.kif 31541-31541
(
roomTempState
AminoAcid
Liquid
)
Mid-level-ontology.kif 31558-31558
(
roomTempState
Amphetamine
Solid
)
Mid-level-ontology.kif 31559-31559
(
roomTempState
AnimalFat
Solid
)
Food.kif 2872-2872
(
roomTempState
Antimony
Solid
)
Mid-level-ontology.kif 31497-31497
(
roomTempState
Aperitif
Liquid
)
Mid-level-ontology.kif 31421-31421
(
roomTempState
Argon
Gas
)
Mid-level-ontology.kif 31464-31464
(
roomTempState
Arsenic
Solid
)
Mid-level-ontology.kif 31479-31479
(
roomTempState
Arsine
Gas
)
Mid-level-ontology.kif 31552-31552
(
roomTempState
Asbestos
Solid
)
Mid-level-ontology.kif 31560-31560
(
roomTempState
Astatine
Solid
)
Mid-level-ontology.kif 31531-31531
(
roomTempState
Atropine
Liquid
)
Mid-level-ontology.kif 31561-31561
(
roomTempState
BZGas
Gas
)
Mid-level-ontology.kif 31567-31567
(
roomTempState
Bacardi
Liquid
)
Mid-level-ontology.kif 31432-31432
(
roomTempState
Bacitracin
Liquid
)
Mid-level-ontology.kif 31562-31562
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