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 1119-1121
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 2109-2109
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1648-1648
No TPTP formula. May not be expressible in strict first order. Merge.kif 1118-1118 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 23286-23286 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 821-821 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. english_format.kif 844-844 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. french_format.kif 497-497 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 30-30 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. terms-it.txt 33-33 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2182-2182 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 449-449 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 35-35 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 34-34 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 64-64 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. terms-de.txt 323-323 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 518-518 Free atom is a subclass of atom
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 34-34 Free atom is a subclass of atom

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30731-30735
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29397-29401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30837-30841
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30031-30035
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29480-29484
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29728-29732
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30664-30668
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30125-30129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30871-30875
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29237-29241
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30629-30633
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29253-29257
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29759-29763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29983-29987
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30099-30103
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29511-29515
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30888-30892
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29272-29276
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30161-30165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29463-29467
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29585-29589
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29631-29635
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29662-29666
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30854-30858
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30309-30313

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 3421-3436
No TPTP formula. May not be expressible in strict first order. Merge.kif 13931-13943
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23330-23345
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23376-23384
No TPTP formula. May not be expressible in strict first order. Merge.kif 15820-15829
No TPTP formula. May not be expressible in strict first order. Merge.kif 1148-1153
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23305-23320


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