Eating
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2909-2909 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10262-10263 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1658-1658 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2806-2806 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2668-2668 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2805-2805 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10260-10260 | 进食 是 消化 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 325-325 | Aqiqah 是 进食 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 89-89 | 开斋 是 进食 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2767-2767 | 过度放牧 是 进食 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 35-35 | 封斋饭 是 进食 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1080-1080 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1371-1371 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 758-758 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 290-290 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 293-293 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2442-2442 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 710-710 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 295-295 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 329-329 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 779-779 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 294-294 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30662-30683 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20066-20072 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10265-10269 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 586-602 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14603-14609 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1227-1246 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 274-291 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1706-1716 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1793-1803 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1776-1786 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21533-21540 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1227-1246 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1558-1578 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19791-19797 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20052-20060 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5037-5045 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5010-5022 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30649-30656 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11566-11571 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15571-15577 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4433-4442 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1688-1694 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22560-22574 |
|