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 18317-18318 | |
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 18316-18316 | Asleep is an instance of consciousness attribute |
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 18325-18332 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18344-18348 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18239-18243 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16380-16389 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16395-16404 |
|
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 16434-16440 |
|
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 |
|