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 |
|
![]() |
![]() |