material |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1581-1583 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 981-985 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 157-160 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 184-188 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 979-979 | 域 材料, 2 and CorpuscularObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 978-978 | 域子類 材料, 1 and Substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 977-977 | 例 材料 and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 151-151 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 152-152 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 96-96 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 174-174 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1924-1924 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 48-48 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 68-68 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 182-182 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 212-212 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 115-115 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 95-95 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 345-345 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1208-1208 | 子關係 ingredient and 材料 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 152-152 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36454-36454 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36453-36453 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 56-56 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 346-346 |
antecedent |
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. | Sports.kif 1040-1047 |
consequent |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2717-2728 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 2563-2581 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25968-25975 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2139-2141 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4500-4502 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15203-15205 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4753-4755 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1409-1411 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4732-4740 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2410-2415 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1279-1283 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30794-30796 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3580-3582 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 641-643 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 826-831 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14871-14873 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17129-17131 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3026-3028 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1688-1693 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2500-2505 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4429-4431 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3600-3605 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4397-4399 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5462-5464 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1343-1347 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11338-11338 | 材料 心 and InvoluntaryMuscle |