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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners