Atom |
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 and ElementalSubstance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21668-21668 | 子類 自由原子 and 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 28800-28804 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27466-27470 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28906-28910 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28100-28104 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27549-27553 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27797-27801 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28733-28737 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28194-28198 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28940-28944 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27306-27310 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28698-28702 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27322-27326 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27828-27832 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28052-28056 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28168-28172 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27580-27584 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28957-28961 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27341-27345 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28230-28234 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27532-27536 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27654-27658 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27700-27704 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27731-27735 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28923-28927 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28378-28382 | |
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 13800-13812 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21712-21727 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21733-21741 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15692-15701 | |
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 21687-21702 |
|