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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Atom

Sigma KEE - Atom
Atom(Atomo)

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 1108-1110
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 1107-1107 Atomo e' uma sub-classe de Substancia Elementar

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21959-21959 FreeAtom e' uma sub-classe de Atomo
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 821-821 FreeAtom e' uma sub-classe de Atomo
No TPTP formula. May not be expressible in strict first order. english_format.kif 844-844 FreeAtom e' uma sub-classe de Atomo
No TPTP formula. May not be expressible in strict first order. french_format.kif 497-497 FreeAtom e' uma sub-classe de Atomo
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 30-30 FreeAtom e' uma sub-classe de Atomo
No TPTP formula. May not be expressible in strict first order. terms-it.txt 33-33 FreeAtom e' uma sub-classe de Atomo
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2182-2182 FreeAtom e' uma sub-classe de Atomo
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 449-449 FreeAtom e' uma sub-classe de Atomo
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 35-35 FreeAtom e' uma sub-classe de Atomo
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 34-34 FreeAtom e' uma sub-classe de Atomo
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 64-64 FreeAtom e' uma sub-classe de Atomo
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 518-518 FreeAtom e' uma sub-classe de Atomo
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 34-34 FreeAtom e' uma sub-classe de Atomo

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29128-29132
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27794-27798
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29234-29238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28428-28432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27877-27881
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28125-28129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29061-29065
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28522-28526
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29268-29272
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27634-27638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29026-29030
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27650-27654
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28156-28160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28380-28384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28496-28500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27908-27912
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29285-29289
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27669-27673
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28558-28562
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27860-27864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27982-27986
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28028-28032
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28059-28063
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29251-29255
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28706-28710

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 13833-13845
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22003-22018
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22049-22057
No TPTP formula. May not be expressible in strict first order. Merge.kif 15722-15731
No TPTP formula. May not be expressible in strict first order. Merge.kif 1137-1142
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21978-21993


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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