|
|
   Rubber
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9182-9185 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4812-4812 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31642-31642 | roomTempState 橡膠 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9180-9180 | 子類 橡膠 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9181-9181 | 子類 橡膠 and 烴 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9179-9179 | 子類 橡膠 and 植物物質 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50558-50558 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50557-50557 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50556-50556 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9187-9192 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3497-3515 |
|
|
|
|
