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
electronNumber
Sigma KEE - electronNumber
electronNumber
appearance as argument number 1
(
documentation
electronNumber
EnglishLanguage
"(
electronNumber
?SUBSTANCE ?NUMBER) means that the
PureSubstance
?SUBSTANCE has the number of
Electron
s ?NUMBER.")
Mid-level-ontology.kif 22000-22001
(
domain
electronNumber
1
PureSubstance
)
Mid-level-ontology.kif 21998-21998
Le nombre 1 argument de
electronNumber
est une
instance
de
substance pure
(
domain
electronNumber
2
PositiveInteger
)
Mid-level-ontology.kif 21999-21999
Le nombre 2 argument de
electronNumber
est une
instance
de
nombre entier positif
(
instance
electronNumber
BinaryPredicate
)
Mid-level-ontology.kif 21995-21995
electronNumber
est une
instance
de
pr�dicat binaire
(
instance
electronNumber
SingleValuedRelation
)
Mid-level-ontology.kif 21996-21996
electronNumber
est une
instance
de
relation simple
(
instance
electronNumber
TotalValuedRelation
)
Mid-level-ontology.kif 21997-21997
electronNumber
est une
instance
de
relation total
appearance as argument number 2
(
format
ChineseLanguage
electronNumber
"%2 %n 是 %1 的 electron 号码")
domainEnglishFormat.kif 887-887
(
format
ChineseTraditionalLanguage
electronNumber
"%2 %n 是 %1 的 electron 號碼")
domainEnglishFormat.kif 886-886
(
format
EnglishLanguage
electronNumber
"%2 is %n an electron number of %1")
domainEnglishFormat.kif 885-885
(
termFormat
ChineseLanguage
electronNumber
"电子数")
domainEnglishFormat.kif 21773-21773
(
termFormat
ChineseTraditionalLanguage
electronNumber
"電子數")
domainEnglishFormat.kif 21772-21772
(
termFormat
EnglishLanguage
electronNumber
"electron number")
domainEnglishFormat.kif 21771-21771
antecedent
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 19873-19885
Processus
est une
instance
de
Oxidation
entit�
est un
patient
de
processus
electronNumber
entit�
and
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
nombre r�el
est
moins
que
nombre r�el
electronNumber
entit�
and
nombre r�el
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?R
ChemicalReduction
)
(
patient
?R ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
electronNumber
?S ?L)))
(
exists
(?G)
(
and
(
greaterThan
?G ?L)
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
electronNumber
?S ?G)))))
Mid-level-ontology.kif 19855-19867
Processus
est une
instance
de
ChemicalReduction
entit�
est un
patient
de
processus
electronNumber
entit�
and
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
electronNumber
entit�
and
nombre r�el
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
electronNumber
?SUBSTANCE ?NUMBER)
(=>
(
exists
(?ATOM)
(
and
(
part
?ATOM ?SUBSTANCE)
(
or
(
instance
?ATOM
Atom
)
(
instance
?ATOM
Molecule
))))
(
exists
(?ELECTRON)
(
equal
?NUMBER
(
CardinalityFn
(
KappaFn
?ELECTRON
(
and
(
part
?ELECTRON ?ATOM)
(
instance
?ELECTRON
Electron
))))))))
Mid-level-ontology.kif 22003-22018
electronNumber
substance pure
and
nombre entier positif
objet
objet
est une
partie
de
substance pure
objet
est une
instance
de
atome
objet
est une
instance
de
mol�cule
cha�ne sympbolique
nombre entier positif
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
consequent
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 19873-19885
Processus
est une
instance
de
Oxidation
entit�
est un
patient
de
processus
electronNumber
entit�
and
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
nombre r�el
est
moins
que
nombre r�el
electronNumber
entit�
and
nombre r�el
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?R
ChemicalReduction
)
(
patient
?R ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
electronNumber
?S ?L)))
(
exists
(?G)
(
and
(
greaterThan
?G ?L)
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
electronNumber
?S ?G)))))
Mid-level-ontology.kif 19855-19867
Processus
est une
instance
de
ChemicalReduction
entit�
est un
patient
de
processus
electronNumber
entit�
and
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
electronNumber
entit�
and
nombre r�el
pendant
la
fin
de
temps
d'existence de
processus
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