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 31674-31674
The number 2 argument of
roomTempState
is an
instance
of
physical state
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31675-31675
The number 1 argument of
roomTempState
is a
subclass
of
substance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31676-31676
roomTempState
is an
instance
of
binary predicate
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31678-31689
If
roomTempState
a kind of substance
and
a physical state
and
a physical
is an
instance
of
a kind of substance
and
roomTempState
the kind of substance
and
liquid
holds
during
a time position
and the
measure
of
the physical
is 101 1
thousand
pascal
s(s),
then the
measure
of
the physical
is 68
fahrenheit degree
(s) holds
during
the time position
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31557-31557
roomTempState
abrin toxin
and
solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31440-31440
roomTempState
Absolut
and
liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31539-31539
roomTempState
actinium
and
solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31558-31558
roomTempState
alcohol
and
liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31421-31421
roomTempState
alcoholic beverage
and
liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31559-31559
roomTempState
aldosterone
and
liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31560-31560
roomTempState
alkaloid
and
liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31561-31561
roomTempState
alumina
and
solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31463-31463
roomTempState
aluminum
and
solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31428-31428
roomTempState
amaretto
and
liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31545-31545
roomTempState
americium
and
solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31562-31562
roomTempState
amino acid
and
liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31563-31563
roomTempState
amphetamine
and
solid
No TPTP formula. May not be expressible in strict first order.
Food.kif 2872-2872
roomTempState
animal fat
and
solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31501-31501
roomTempState
antimony
and
solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31425-31425
roomTempState
aperitif
and
liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31468-31468
roomTempState
argon
and
gas
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31483-31483
roomTempState
arsenic
and
solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31556-31556
roomTempState
arsine
and
gas
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31564-31564
roomTempState
asbestos
and
solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31535-31535
roomTempState
astatine
and
solid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31565-31565
roomTempState
atropine
and
liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31571-31571
roomTempState
BZ gas
and
gas
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31436-31436
roomTempState
Bacardi
and
liquid
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31566-31566
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