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 | The number 2 argument of material is an instance of corpuscular object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 978-978 | The number 1 argument of material is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 977-977 | material is an instance of binary predicate |
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 is a subrelation of material |
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 |
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 | Involuntary muscle is made of heart |