MiscellaneousDurableGoodsWholesalers
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13135-13136 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6041-6041 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6588-6588 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6587-6587 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13134-13134 | 下沉 是 落下 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53206-53206 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53205-53205 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53204-53204 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13138-13143 |