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 19500-19500 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 27016-27020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25758-25762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27116-27120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26354-26358
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25836-25840
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26069-26073
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26953-26957
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26443-26447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27148-27152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25607-25611
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26920-26924
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25622-25626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26098-26102
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26309-26313
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26418-26422
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25865-25869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27164-27168
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25640-25644
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26477-26481
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25820-25824
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25935-25939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25978-25982
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26007-26011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27132-27136
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26617-26621

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 12764-12776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19539-19552
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19557-19565
No TPTP formula. May not be expressible in strict first order. Merge.kif 14516-14525
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 19518-19529


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