| Rubber(橡膠)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9183-9186 | |
| 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 31646-31646 | roomTempState 橡膠 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9181-9181 | 子類 橡膠 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9182-9182 | 子類 橡膠 and 烴 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9180-9180 | 子類 橡膠 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 9188-9193 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3497-3515 |
|
|
|
|