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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Atom
Atom(atom)
anionic, atom, atomic, cationic, ionic, isotope, isotopic, label, monad, nonionic, nonpolar, radioisotope, superoxide, superoxide_anion

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1606-1608
No TPTP formula. May not be expressible in strict first order. Merge.kif 1028-1030
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2111-2111
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1650-1650
No TPTP formula. May not be expressible in strict first order. pictureList.kif 244-244
No TPTP formula. May not be expressible in strict first order. Merge.kif 1027-1027 Atom is a subclass of elemental substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19527-19527 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 821-821
No TPTP formula. May not be expressible in strict first order. english_format.kif 849-849

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27043-27047
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25785-25789
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27143-27147
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26381-26385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25863-25867
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26096-26100
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26980-26984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26470-26474
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27175-27179
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25634-25638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26947-26951
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25649-25653
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26125-26129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26336-26340
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26445-26449
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25892-25896
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27191-27195
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25667-25671
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26504-26508
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25847-25851
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25962-25966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26005-26009
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26034-26038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27159-27163
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26644-26648

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Food.kif 846-861
No TPTP formula. May not be expressible in strict first order. Merge.kif 12747-12759
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19566-19579
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19584-19592
No TPTP formula. May not be expressible in strict first order. Merge.kif 14499-14508
No TPTP formula. May not be expressible in strict first order. Merge.kif 1057-1062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19545-19556


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