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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31972-31972
O argumento numero 2 de
roomTempState
e' uma
instancia
de
Estado Fisico
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31973-31973
O argumento numero 1 de
roomTempState
e' uma
sub
-classe de
Substancia
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31974-31974
roomTempState
e' uma
instancia
de
Predicado Binario
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31976-31987
roomTempState
Substancia
and
Estado Fisico
Fisico
e' uma
instancia
de
Substancia
roomTempState
Substancia
and
Liquid
vale
durante
Posicao Temporal
a
medida
de
Fisico
e' 101 1
mil
Pascal
s(s)
a
medida
de
Fisico
e' 68
FahrenheitDegree
(s)
vale
durante
Posicao Temporal
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31855-31855
roomTempState
AbrinToxin
and
Solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31738-31738
roomTempState
Absolut
and
Liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31837-31837
roomTempState
Actinium
and
Solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31856-31856
roomTempState
Alcohol
and
Liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31719-31719
roomTempState
AlcoholicBeverage
and
Liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31857-31857
roomTempState
Aldosterone
and
Liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31858-31858
roomTempState
Alkaloid
and
Liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31859-31859
roomTempState
Alumina
and
Solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31761-31761
roomTempState
Aluminum
and
Solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31726-31726
roomTempState
Amaretto
and
Liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31843-31843
roomTempState
Americium
and
Solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31860-31860
roomTempState
AminoAcid
and
Liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31861-31861
roomTempState
Amphetamine
and
Solid
No TPTP formula. May not be expressible in strict first order.
Food.kif 2872-2872
roomTempState
AnimalFat
and
Solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31799-31799
roomTempState
Antimony
and
Solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31723-31723
roomTempState
Aperitif
and
Liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31766-31766
roomTempState
Argon
and
Gas
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31781-31781
roomTempState
Arsenic
and
Solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31854-31854
roomTempState
Arsine
and
Gas
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31862-31862
roomTempState
Asbestos
and
Solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31833-31833
roomTempState
Astatine
and
Solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31863-31863
roomTempState
Atropine
and
Liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31869-31869
roomTempState
BZGas
and
Gas
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31734-31734
roomTempState
Bacardi
and
Liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31864-31864
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