CognitiveAgent(有认知的主事) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16264-16264 | 被告 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2788-2788 | 渴望 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7440-7440 | 不赞成 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Music.kif 240-240 | discography 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7425-7425 | 不喜欢 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7410-7410 | 疑惑 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16639-16639 | 雇用 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7368-7368 | 享受 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10589-10589 | 预计 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3944-3944 | experimenter 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Military.kif 910-910 | 适合兵役 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 66-66 | guest 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17447-17447 | 有执行义务 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17427-17427 | 有权利 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2723-2723 | 感兴趣 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16498-16498 | 发行由 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2825-2825 | 知道 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1287-1287 | 贷款人 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Music.kif 163-163 | lyricist 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1163-1163 | musicChartBy 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2751-2751 | 需要 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 866-866 | 净值 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 238-238 | observesHoliday 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2587-2587 | 期权持有人 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2600-2600 | 期权卖方 的 2 数量 是 有认知的主事 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |