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 1109-1111
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 185-186
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 220-222
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. pictureList.kif 2110-2110
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1649-1649
No TPTP formula. May not be expressible in strict first order. Merge.kif 1108-1108 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 21669-21669 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 844-844
No TPTP formula. May not be expressible in strict first order. french_format.kif 497-497
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 30-30
No TPTP formula. May not be expressible in strict first order. terms-it.txt 33-33
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2182-2182
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 449-449
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 35-35
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 34-34
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 64-64
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 518-518
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 34-34

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28812-28816
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27478-27482
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28918-28922
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28112-28116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27561-27565
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27809-27813
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28745-28749
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28206-28210
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28952-28956
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27318-27322
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28710-28714
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27334-27338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27840-27844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28064-28068
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28180-28184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27592-27596
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28969-28973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27353-27357
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28242-28246
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27544-27548
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27666-27670
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27712-27716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27743-27747
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28935-28939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28390-28394

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 3414-3429
No TPTP formula. May not be expressible in strict first order. Merge.kif 13778-13790
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21713-21728
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21734-21742
No TPTP formula. May not be expressible in strict first order. Merge.kif 15670-15679
No TPTP formula. May not be expressible in strict first order. Merge.kif 1138-1143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21688-21703


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