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 11919-11920 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11918-11918 | 子類 商業服務 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11921-11921 | 子類 商業服務 and 服務 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7728-7728 | 子類 商業運輸 and 商業服務 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7215-7215 | 子類 金融服務 and 商業服務 |
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 11923-11928 |
|
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 7145-7151 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7284-7290 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7308-7318 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7206-7212 |
|
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 3404-3412 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7710-7718 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16272-16279 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16285-16292 | |
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 |