| 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 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 | 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 21696-21696 | FreeAtom e' uma sub-classe de Atomo |
| 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 28863-28867 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27529-27533 | |
| 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 28163-28167 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27612-27616 | |
| 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 28796-28800 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28257-28261 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29003-29007 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27369-27373 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28761-28765 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27385-27389 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27891-27895 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28115-28119 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28231-28235 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27643-27647 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29020-29024 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27404-27408 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28293-28297 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27595-27599 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27717-27721 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27763-27767 | |
| 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 28986-28990 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28441-28445 | |
| 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 13824-13836 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21740-21755 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21786-21794 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15716-15725 | |
| 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 21715-21730 |
|
|
|
|