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 21709-21710
(
domain
electronNumber
1
PureSubstance
)
Mid-level-ontology.kif 21707-21707
Die Zahl 1 Argument von
electronNumber
ist ein
fall
von
PureSubstance
%n{nicht}
(
domain
electronNumber
2
PositiveInteger
)
Mid-level-ontology.kif 21708-21708
Die Zahl 2 Argument von
electronNumber
ist ein
fall
von
PositiveInteger
%n{nicht}
(
instance
electronNumber
BinaryPredicate
)
Mid-level-ontology.kif 21704-21704
electronNumber
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
electronNumber
SingleValuedRelation
)
Mid-level-ontology.kif 21705-21705
electronNumber
ist ein
fall
von
SingleValuedRelation
%n{nicht}
(
instance
electronNumber
TotalValuedRelation
)
Mid-level-ontology.kif 21706-21706
electronNumber
ist ein
fall
von
TotalValuedRelation
%n{nicht}
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 21762-21762
(
termFormat
ChineseTraditionalLanguage
electronNumber
"電子數")
domainEnglishFormat.kif 21761-21761
(
termFormat
EnglishLanguage
electronNumber
"electron number")
domainEnglishFormat.kif 21760-21760
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 19582-19594
Wenn
Process
ist ein
fall
von
Oxidation
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
electronNumber
** Entity
and
RealNumber
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht} und
electronNumber
** Entity
and
** ** RealNumber
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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 19564-19576
Wenn
Process
ist ein
fall
von
ChemicalReduction
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
electronNumber
** Entity
and
RealNumber
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht} und
electronNumber
** Entity
and
** ** RealNumber
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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 21712-21727
Wenn
electronNumber
PureSubstance
and
PositiveInteger
,
dann
wenn es gibt
Object
um
** Object
ist ein
teil
von
** PureSubstance
%n{nicht} und
** Object
ist ein
fall
von
Atom
%n{nicht} oder
** Object
ist ein
fall
von
Molecule
%n{nicht},
dann es gibt
SymbolicString
um
** PositiveInteger
ist gleich die Zahl
Faellen
in die
kategorie
die
** SymbolicString
beschreibt %n{nicht}
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 19582-19594
Wenn
Process
ist ein
fall
von
Oxidation
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
electronNumber
** Entity
and
RealNumber
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht} und
electronNumber
** Entity
and
** ** RealNumber
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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 19564-19576
Wenn
Process
ist ein
fall
von
ChemicalReduction
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
electronNumber
** Entity
and
RealNumber
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht} und
electronNumber
** Entity
and
** ** RealNumber
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
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