CommercialService
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3103-3104 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11873-11874 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11872-11872 | 商业服务 是 金融交易 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11875-11875 | 商业服务 是 服务 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7701-7701 | 商业运输 是 商业服务 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7188-7188 | 金融服务 是 商业服务 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15870-15870 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15869-15869 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15868-15868 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3590-3601 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11877-11882 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3959-3966 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5747-5767 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 70-81 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7118-7124 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7257-7263 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7281-7291 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7179-7185 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 36-44 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3223-3231 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7683-7691 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16201-16208 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16214-16221 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 51-62 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 88-99 |