serviceProvider |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22881-22883 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22877-22877 | 域 服務提供者, 1 and 服務 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22878-22878 | 域 服務提供者, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22875-22875 | 例 服務提供者 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22874-22874 | 例 服務提供者 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22880-22880 | 例 服務提供者 and CaseRole |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22876-22876 | 例 服務提供者 and 有意圖的關係 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22879-22879 | 子關係 服務提供者 and agent |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 233-233 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 234-234 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1965-1965 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 234-234 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52275-52275 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52274-52274 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52273-52273 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2138-2146 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8184-8197 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8207-8225 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8139-8150 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8159-8175 |
consequent |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8120-8130 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1935-1946 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3188-3198 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1902-1914 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1883-1888 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3304-3310 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2154-2166 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22896-22901 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2281-2292 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1872-1881 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2262-2273 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1923-1933 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2300-2307 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1772-1778 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14198-14207 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3401-3408 |