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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 13796-13798
No TPTP formula. May not be expressible in strict first order. Merge.kif 13795-13795 原子數, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Merge.kif 13794-13794 域子類 原子數, 1 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13792-13792 原子數 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 13791-13791 原子數 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 13793-13793 原子數 and PartialValuedRelation

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 13800-13812

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28798-28798 89 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27464-27464 13 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28904-28904 95 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28098-28098 51 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27547-27547 18 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27795-27795 33 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28731-28731 85 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28192-28192 56 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28938-28938 97 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27304-27304 4 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28696-28696 83 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27320-27320 5 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27826-27826 35 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28050-28050 48 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28166-28166 55 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27578-27578 20 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28955-28955 98 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27339-27339 6 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28228-28228 58 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27530-27530 17 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27652-27652 24 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27698-27698 27 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27729-27729 29 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28921-28921 96 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28376-28376 66 是 atomic 數字

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 3.0 is open source software produced by Articulate Software and its partners