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 |
![]() |
![]() |
![]() |