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

Formal Language: 



KB Term:  Term intersection
English Word: 

  atomicNumber

Sigma KEE - atomicNumber
atomicNumber

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3337-3338
No TPTP formula. May not be expressible in strict first order. Merge.kif 13820-13822
No TPTP formula. May not be expressible in strict first order. Merge.kif 13819-13819 原子数 的 2 数量 是 正整数instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13818-13818 原子数 的 1 数量 是 元素物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 13816-13816 原子数非对称关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13815-13815 原子数二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13817-13817 原子数部分值关系instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 212-212
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 211-211
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 210-210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8946-8946
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8945-8945
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8944-8944

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13824-13836

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28861-28861 89 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27527-27527 13 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28967-28967 95 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28161-28161 51 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27610-27610 18 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27858-27858 33 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28794-28794 85 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28255-28255 56 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29001-29001 97 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27367-27367 4 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28759-28759 83 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27383-27383 5 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27889-27889 35 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28113-28113 48 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28229-28229 55 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27641-27641 20 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29018-29018 98 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27402-27402 6 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28291-28291 58 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27593-27593 17 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27715-27715 24 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27761-27761 27 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27792-27792 29 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28984-28984 96 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28439-28439 66 是 atomic 数字

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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