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
(
documentation
protonNumber
EnglishLanguage
"(
protonNumber
?SUBSTANCE ?NUMBER) means that the
PureSubstance
?SUBSTANCE has the number of
Proton
s ?NUMBER.")
Mid-level-ontology.kif 21684-21685
(
domain
protonNumber
1
PureSubstance
)
Mid-level-ontology.kif 21682-21682
Il numero 1 argomenti di
protonNumber
è un
istanza
di
SostanzaPura
(
domain
protonNumber
2
PositiveInteger
)
Mid-level-ontology.kif 21683-21683
Il numero 2 argomenti di
protonNumber
è un
istanza
di
NumeroInteroPositivo
(
instance
protonNumber
BinaryPredicate
)
Mid-level-ontology.kif 21679-21679
protonNumber
è un'
istanza
di
PredicatoBinario
(
instance
protonNumber
SingleValuedRelation
)
Mid-level-ontology.kif 21680-21680
protonNumber
è un'
istanza
di
RelazioneMonovalente
(
instance
protonNumber
TotalValuedRelation
)
Mid-level-ontology.kif 21681-21681
protonNumber
è un'
istanza
di
RelazioneAValoreTotale
appearance as argument number 2
(
format
ChineseLanguage
protonNumber
"%2 %n 是 %1 的 proton 号码")
domainEnglishFormat.kif 2075-2075
(
format
ChineseTraditionalLanguage
protonNumber
"%2 %n 是 %1 的 proton 號碼")
domainEnglishFormat.kif 2074-2074
(
format
EnglishLanguage
protonNumber
"%2 is %n a proton number of %1")
domainEnglishFormat.kif 2073-2073
(
termFormat
ChineseLanguage
protonNumber
"质子数")
domainEnglishFormat.kif 47876-47876
(
termFormat
ChineseTraditionalLanguage
protonNumber
"質子數")
domainEnglishFormat.kif 47875-47875
(
termFormat
EnglishLanguage
protonNumber
"proton number")
domainEnglishFormat.kif 47874-47874
antecedent
(=>
(
protonNumber
?SUBSTANCE ?NUMBER)
(=>
(
exists
(?ATOM)
(
and
(
part
?ATOM ?SUBSTANCE)
(
or
(
instance
?ATOM
Atom
)
(
instance
?ATOM
Molecule
))))
(
exists
(?PROTON)
(
equal
?NUMBER
(
CardinalityFn
(
KappaFn
?PROTON
(
and
(
part
?PROTON ?ATOM)
(
instance
?PROTON
Proton
))))))))
Mid-level-ontology.kif 21687-21702
protonNumber
SostanzaPura
and
NumeroInteroPositivo
Oggetto
Oggetto
è una
parte
di
SostanzaPura
Oggetto
è un'
istanza
di
Atomo
Oggetto
è un'
istanza
di
Molecola
Stringa
NumeroInteroPositivo
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
consequent
(=>
(
conjugate
?COMPOUND1 ?COMPOUND2)
(
exists
(?NUMBER1 ?NUMBER2)
(
and
(
protonNumber
?COMPOUND1 ?NUMBER1)
(
protonNumber
?COMPOUND2 ?NUMBER2)
(
or
(
equal
?NUMBER1
(
AdditionFn
?NUMBER2 1))
(
equal
?NUMBER2
(
AdditionFn
?NUMBER1 1))))))
Mid-level-ontology.kif 6500-6508
conjugate
Composto
and
Composto
NumeroInteroPositivo
NumeroInteroPositivo
protonNumber
Composto
and
NumeroInteroPositivo
protonNumber
Composto
and
NumeroInteroPositivo
NumeroInteroPositivo
is
uguale
a (
NumeroInteroPositivo
+ 1
NumeroInteroPositivo
is
uguale
a (
NumeroInteroPositivo
+ 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