Combustion
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3189-3190 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12572-12574 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2660-2660 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12571-12571 | 燃烧 是 化学分解 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1350-1350 | Backfire 是 燃烧 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21809-21809 | 火 是 燃烧 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2405-2405 | 森林火灾 是 燃烧 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2415-2415 | 草火 是 燃烧 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21934-21934 | 燃烧装置攻击 是 燃烧 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1172-1172 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1561-1561 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 850-850 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 382-382 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 385-385 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2534-2534 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 802-802 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 387-387 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 421-421 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 871-871 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 386-386 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 20-25 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12576-12583 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1717-1733 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 207-217 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 954-977 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 698-715 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12588-12590 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6036-6043 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1674-1681 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1150-1159 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15358-15364 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1112-1124 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 57-65 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 47-55 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1939-1941 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1292-1298 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1278-1288 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1765-1773 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14762-14767 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16071-16082 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 447-455 |