Asleep(endormi) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4041-4041 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18396-18397 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 242-242 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18395-18395 | Endormi est une instance de attribut de conscience |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1266-1266 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1753-1753 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 944-944 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 479-479 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 483-483 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2628-2628 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 896-896 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 485-485 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 519-519 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 965-965 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 484-484 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18404-18411 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18423-18427 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18266-18270 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16407-16416 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16422-16431 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2095-2103 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16461-16467 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3765-3770 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3937-3944 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3840-3853 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3783-3801 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4034-4040 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3814-3827 |
|