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 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 21668-21668 | Free atom is a subclass of 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 |
|