Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - protonNumber
protonNumber

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19478-19479
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19476-19476 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 19477-19477 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 19473-19473 proton number is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19474-19474 proton number is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19475-19475 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 47815-47815 "质子数" is the printable form of proton number in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47814-47814 "質子數" is the printable form of proton number in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47813-47813 "proton number" is the printable form of proton number in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19481-19492

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6189-6197


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners