CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13998-13998 | 域 協議的一方, 1 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5668-5668 | 域 病人醫療, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16271-16271 | 域 原告, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 807-807 | 域 potentialCustomer, 1 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1881-1881 | 域 潛在的損失, 1 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2686-2686 | 域 偏好, 1 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 417-417 | 域 productPrice, 3 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 169-169 | 域 propositionOwner, 1 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 334-334 | 域 publishedPrice, 3 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 456-456 | 域 rentalPrice, 3 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2845-2845 | 域 says, 1 and CognitiveAgent |
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 22889-22889 | 域 服務接收者, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2123-2123 | 域 股東, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 278-278 | 域 簽名由, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Music.kif 214-214 | 域 songArtist, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1828-1828 | 域 states, 1 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2218-2218 | 域 股票持有人, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 399-399 | 域 unitPrice, 3 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2765-2765 | 域 想要, 1 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23224-23224 | 域 工作地址, 2 and CognitiveAgent |