CognitiveAgent(有认知的主事) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13998-13998 | 协议的一方 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5668-5668 | 病人医疗 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16271-16271 | 原告 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 807-807 | potentialCustomer 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1881-1881 | 潜在的损失 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2686-2686 | 拥有 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 417-417 | productPrice 的 3 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 169-169 | propositionOwner 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 334-334 | publishedPrice 的 3 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 456-456 | rentalPrice 的 3 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2845-2845 | says 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22878-22878 | 服务供应者 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22889-22889 | 受服务者 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2123-2123 | 股东 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 278-278 | 签名由 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Music.kif 214-214 | songArtist 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1828-1828 | states 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2218-2218 | 股票持有人 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 399-399 | unitPrice 的 3 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2765-2765 | 想要 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23224-23224 | 工作地址 的 2 数量 是 有认知的主事 的 instance |