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
protonNumber
Sigma KEE - protonNumber
protonNumber
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21684-21685
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21682-21682
The number 1 argument of
proton number
is an
instance
of
pure substance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21683-21683
The number 2 argument of
proton number
is an
instance
of
positive integer
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21679-21679
proton number
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21680-21680
proton number
is an
instance
of
single valued relation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21681-21681
proton number
is an
instance
of
total valued relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2075-2075
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2074-2074
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2073-2073
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 47876-47876
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 47875-47875
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 47874-47874
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21687-21702
If
a positive integer
is a
proton
number of
a pure substance
,
then
if there exists
an object
such that
the object
is a
part
of
the pure substance
and
the object
is an
instance
of
atom
or
the object
is an
instance
of
molecule
,
then there exists
a symbolic string
such that
the positive integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6500-6508
If
a compound substance
is a
conjugate
of
another compound substance
,
then there exist
a positive integer
and
another positive integer
such that
the positive integer
is a
proton
number of
the other compound substance
and
the other positive integer
is a
proton
number of
the compound substance
and
the positive integer
is
equal
to (
the other positive integer
and 1) or
the other positive integer
is
equal
to (
the positive integer
and 1)
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