OtherLeatherAndAlliedProductManufacturing
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13960-13962 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13959-13959 | 子類 間諜 and Investigating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13958-13958 | 子類 間諜 and PoliticalProcess |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22432-22432 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22431-22431 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22430-22430 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13964-13973 |
|