No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2596-2605	如果 内容承载物理 是 BusinessRequirementDocument 的 instance， 然后 有存在 命题， 有认知的主事， and 和 公式 这样 那个 命题 是 计划 的 instance 和 那个 有认知的主事 是 Business 的 instance 和 那个 公式 是 过程 的 instance 和 那个 命题 表达 那个 公式 和 那个 有认知的主事 desires 那个 公式 和 那个 内容承载物理 contains 那个 命题 的资料
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29679-29691	如果 过程 是 Correcting 的 instance， 然后 有存在 另一个 过程， 第三 过程,， ， 那个 第三 过程P， and 和 那个 过程P 这样 那个 另外 过程 是 不同意 的 instance 和 那个 过程%n是那个 另外 过程的subProcess 和 那个 第三 过程 是 陈述 的 instance 和 那个 第三 过程%n是那个 另外 过程的subProcess 和 那个 第三 过程 contains 那个 第三 过程P 的资料 和 那个 过程 contains 那个 过程P 的资料 和 那个 过程P 提到 那个 第三 过程P 和 那个 第三 过程P 不 是 那个 过程P 的 consistent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4643-4658	如果 过程 是 Crossposting 的 instance， 然后 有存在 命题， 另一个 过程,， ， 第三 过程,， ， 实体， and 和 另一个 实体 这样 那个 另外 过程 是 Posting 的 instance 和 那个 第三 过程 是 Posting 的 instance 和 那个 另外 过程 contains 那个 命题 的资料 和 那个 另外 过程 contains 那个 命题 的资料 和 那个 另外 过程 在 那个 实体 结束 和 那个 第三 过程 在 那个 另外 实体 结束 和 那个 另外 过程 不 equal 那个 第三 过程 和 那个 实体 不 equal 那个 另外 实体 和 那个 另外 过程%n是那个 过程的subProcess 和 那个 第三 过程%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15966-15980	如果 群体 是 戏剧性的演员 的 instance， 然后 有存在 内容承载物理， 命题， and 和 过程 这样 那个 内容承载物理 是 虚构的文字 的 instance 和 那个 内容承载物理 contains 那个 命题 的资料 和 那个 过程 表示 那个 命题 的内容 和 对所有 施事体 如果 那个 施事体 是 那个 群体 的 member， 然后 有存在 另一个 过程 这样 那个 另外 过程 是 戏剧表演 的 instance 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程%n是那个 过程的subProcess
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1623-1628	如果 命题 是 和 TPFDD 破产 的 instance， 然后 有存在 内容承载物理 这样 那个 内容承载物理 是 TPFDD文件 的 instance 和 那个 内容承载物理 contains 那个 命题 的资料
No TPTP formula. May not be expressible in strict first order.	Government.kif 653-661	如果 命题 是 宪法 的 instance， 然后 有存在 公式 和 另一个 命题 这样 那个 公式 是 公式 的 instance 和 那个 公式 contains 那个 另外 命题 的资料 和 那个 另外 命题 是 命题 的 instance 和 那个 另外 命题 是 那个 命题 的 subProposition 和 那个 公式 的声明 has 义务 的语气
No TPTP formula. May not be expressible in strict first order.	Government.kif 663-671	如果 命题 是 宪法 的 instance， 然后 有存在 公式 和 另一个 命题 这样 那个 公式 是 公式 的 instance 和 那个 公式 contains 那个 另外 命题 的资料 和 那个 另外 命题 是 命题 的 instance 和 那个 另外 命题 是 那个 命题 的 subProposition 和 那个 公式 的声明 has 允许 的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13179-13192	如果 过程 是 不同意 的 instance， 然后 有存在 施事体， 另一个 施事体,， ， 另一个 过程,， ， 第三 过程,， ， 命题， and 和 另一个 命题 这样 那个 另外 过程%n是那个 过程的subProcess 和 那个 第三 过程%n是那个 过程的subProcess 和 那个 施事体 是 那个 另外 过程 的 agent 和 那个 另外 施事体 是 那个 第三 过程 的 agent 和 那个 施事体 不 equal 那个 另外 施事体 和 那个 另外 过程 contains 那个 命题 的资料 和 那个 第三 过程 contains 那个 另外 命题 的资料 和 那个 另外 命题 不 是 那个 命题 的 consistent
No TPTP formula. May not be expressible in strict first order.	Government.kif 688-693	如果 内容承载物理 是 宪法文件 的 instance， 然后 有存在 命题 这样 那个 命题 是 宪法 的 instance 和 那个 内容承载物理 contains 那个 命题 的资料
No TPTP formula. May not be expressible in strict first order.	Media.kif 979-984	如果 内容承载物理 是 ContractDocument 的 instance， 然后 有存在 命题 这样 那个 内容承载物理 contains 那个 命题 的资料 和 那个 命题 有 合同 的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29647-29655	如果 时距 是 Elaborating 的 instance， 然后 有存在 另一个 时距， 那个 时距P， and 和 那个 另外 时距P 这样 那个 另外 时距 是 语言交流 的 instance 和 那个 另外 时距 比那个 时距发生的earlier 和 那个 时距 contains 那个 时距P 的资料 和 那个 另外 时距 contains 那个 另外 时距P 的资料 和 那个 时距P 包含 那个 另外 时距P 的内容
No TPTP formula. May not be expressible in strict first order.	Media.kif 1534-1540	如果 内容承载物理 是 SoftwareFile 的 instance， 然后 有存在 另一个 内容承载物理 和 命题 这样 那个 另外 内容承载物理 是 电脑程序 的 instance 和 那个 另外 内容承载物理 包含 那个 命题 的内容 和 那个 内容承载物理 contains 那个 命题 的资料
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1651-1655	如果 内容承载物理 是 TPFDD文件 的 instance， 然后 那个 内容承载物理 contains 命题 的资料 和 那个 命题 是 TPFDD 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13801-13807	如果 命题 是 LyricalContent 的 instance， 然后 有存在 内容承载物理 和 另一个 命题 这样 那个 内容承载物理 是 字词 的 instance 和 那个 内容承载物理 contains 那个 另外 命题 的资料 和 那个 另外 命题 是 那个 命题 的 subProposition
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1844-1848	如果 内容承载物理 是 JOPES手册 的 instance， 然后 那个 内容承载物理 contains 命题 的资料 和 那个 命题 是 JOPES 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16186-16193	如果 命题 是 法律意见 的 instance， 然后 有存在 过程， 内容承载物理， and 和 争论 这样 那个 过程 是 法律决定 的 instance 和 那个 内容承载物理 是 那个 过程 的 result 和 那个 内容承载物理 contains 那个 争论 的资料 和 那个 争论 Argument 的 conclusion 是 那个 命题
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1802-1807	如果 命题 是 OPLAN 的 instance， 然后 有存在 内容承载物理 这样 那个 内容承载物理 是 TPFDD文件 的 instance 和 那个 内容承载物理 contains 那个 命题 的资料
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14953-14960	如果 物理 是 戏剧性的表演 的 instance， 然后 那个 物理 的 目的 是 有存在 实体 和 另一个 实体 这样 那个 实体 是 戏剧表演 的 instance 和 那个 物理 contains 那个 另外 实体 的资料 和 那个 实体 表示 那个 另外 实体 的内容
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14538-14544	如果 内容承载物理 是 表演计划 的 instance， 然后 有存在 过程 和 命题 这样 那个 内容承载物理 contains 那个 命题 的资料 和 那个 过程 表示 那个 命题 的内容 和 那个 过程 是 性能 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15920-15926	如果 过程 是 背诵 的 instance， 然后 有存在 命题 和 内容承载物理 这样 那个 过程 表示 那个 命题 的内容 和 那个 内容承载物理 contains 那个 命题 的资料 和 那个 内容承载物理 是 文本 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29664-29672	如果 时距 是 Restating 的 instance， 然后 有存在 另一个 时距， 那个 另外 时距P， and 和 那个 时距P 这样 那个 另外 时距 是 语言交流 的 instance 和 那个 另外 时距 比那个 时距发生的earlier 和 那个 时距 contains 那个 时距P 的资料 和 那个 另外 时距 contains 那个 另外 时距P 的资料 和 那个 时距P 等于 那个 另外 时距P
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12711-12717	如果 过程 是 朗读 的 instance， 然后 有存在 内容承载物理 和 命题 这样 那个 内容承载物理 是 文本 的 instance 和 那个 内容承载物理 contains 那个 命题 的资料 和 那个 过程 表示 那个 命题 的内容
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14313-14319	如果 内容承载物理 是 录音 的 instance， 然后 有存在 命题 和 过程 这样 那个 内容承载物理 contains 那个 命题 的资料 和 那个 过程 表示 那个 命题 的内容 和 那个 过程 是 放射声音 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15469-15474	如果 内容承载物理 是 句子 的 instance， 然后 有存在 命题 这样 那个 命题 是 命题 的 instance 和 那个 内容承载物理 contains 那个 命题 的资料
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3125-3132	如果 过程 是 签署协议 的 instance， 然后 有存在 内容承载物理 和 命题 这样 那个 内容承载物理 是 语言式表达 的 instance 和 那个 命题 是 协议 的 instance 和 那个 内容承载物理 contains 那个 命题 的资料 和 那个 内容承载物理 是 那个 过程 的 patient
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