Asleep
|
|
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 18339-18340 | |
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 18338-18338 | 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 18347-18354 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18366-18370 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18238-18242 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16379-16388 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16394-16403 |
|
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 16433-16439 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3772-3777 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3944-3951 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3847-3860 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3790-3808 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4041-4047 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3821-3834 |
|