Heating more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10937-10937 | 不相交的 Heating and Cooling |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2985-2986 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10939-10940 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1745-1746 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10046-10046 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11135-11135 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11136-11136 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11138-11138 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11134-11134 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11139-11139 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11130-11130 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11137-11137 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11129-11129 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11131-11131 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11132-11132 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11133-11133 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10936-10936 | 子類 Heating and Increasing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1458-1458 | 子類 烘烤 and Heating |
No TPTP formula. May not be expressible in strict first order. | Food.kif 122-122 | 子類 DryRoasting and Heating |
No TPTP formula. May not be expressible in strict first order. | Food.kif 784-784 | 子類 EspressoMaking and Heating |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1175-1175 | 子類 FoamingMilk and Heating |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2567-2567 | 子類 Frying and Heating |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1110-1110 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1437-1437 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 788-788 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 320-320 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 323-323 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2472-2472 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 740-740 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 325-325 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 359-359 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 809-809 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 324-324 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1207-1216 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10942-10955 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 468-478 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1190-1205 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25263-25274 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25251-25261 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 128-151 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25304-25314 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 37-44 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 55-61 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5434-5443 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13948-13953 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12598-12605 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2309-2315 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 799-834 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2443-2448 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5163-5177 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2890-2899 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 355-363 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13927-13932 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3270-3285 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1626-1631 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2921-2928 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2449-2461 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26832-26842 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25650-25658 |