No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 950-965	如果 客体 是 TetraploidCell 的 instance 和 另一个 客体 是 那个 客体 的 part 和 那个 另外 客体 是 细胞核 的 instance 和 群体 是 located 在 那个 另外 客体 和 那个 群体 是 群体 的 instance 和 Chromosome 是 那个 群体 的 member 类别， 然后 有存在 另一个 群体 和 第三 群体 这样 那个 另外 群体 是 HomologousChromosomeSet 的 instance 和 那个 另外 群体 是 那个 群体 的 真正的子集 和 那个 第三 群体 是 HomologousChromosomeSet 的 instance 和 那个 第三 群体 是 那个 群体 的 真正的子集 和 那个 另外 群体 不 equal 那个 第三 群体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11669-11676	如果 过程 是 改变所有权 的 instance 和 实体 是 那个 过程 的 patient 和 另一个 实体 possesses 那个 实体 在 那个 过程 出现 的 time 的开始 holdsDuring 和 第三 实体 possesses 那个 实体 在 那个 过程 出现 的 time 的结束 holdsDuring， 然后 那个 另外 实体 不 equal 那个 第三 实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12621-12632	如果 过程 是 内部变化 的 instance 和 实体 是 那个 过程 的 patient， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 另外 实体 不 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring 或 那个 另外 实体 不 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 另外 实体 是 那个 实体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12929-12940	如果 客体 是 下巴 的 instance 和 另一个 客体 是 面对 的 instance 和 那个 客体 是 那个 另外 客体 的 part， 然后 对所有 第三 客体 如果 那个 第三 客体 是 那个 另外 客体 的 part 和 那个 第三 客体 不 是 那个 客体 的 part， 然后 那个 第三 客体 在 那个 客体 的 下面
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2438-2445	如果 过程 是 ClosingGraphicalWindow 的 instance 和 物理 是 那个 过程 的 patient， 然后 那个 物理 是 InterfaceWindow 的 instance 和 那个 物理 在 另一个 物理 出现 的 time 的开始 是 存在 和 那个 物理 在 那个 另外 物理 出现 的 time 的结束 是 doesn't 存在
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5042-5050	如果 实体 是 户外服装 的 instance 和 另一个 实体 wears 那个 实体 在 时间位置 holdsDuring， 然后 不存在 第三 实体 这样 那个 第三 实体 是 建筑物 的 instance 和 那个 另外 实体 是 located 在 那个 第三 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 718-730	如果 群体 是 MonoploidChromosomeSet 的 instance 和 Chromosome 是 那个 群体 的 member 类别 和 那个 群体 是 located 在 客体 和 那个 客体 是 细胞核 的 instance 和 那个 客体 是 真核细胞 的 part 和 Chromosome 是 那个 群体 的 member 和 另一个 Chromosome 是 那个 群体 的 member 和 那个 Chromosome 不 equal 那个 另外 Chromosome， 然后 homologousChromosome 那个 Chromosome and 那个 另外 Chromosome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19378-19391	如果 属性 是 二等色 的 instance 和 那个 属性 是 客体 的 attribute， 然后 有存在 过程， 另一个 客体,， ， 第三 客体,， ， 另一个 属性， and 和 第三 属性 这样 那个 客体 是 那个 过程 的 result 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 第三 客体 是 那个 过程 的 resource 和 那个 另外 属性 是 那个 另外 客体 的 attribute 和 那个 第三 属性 是 那个 第三 客体 的 attribute 和 那个 另外 属性 是 原色 的 instance 和 那个 第三 属性 是 原色 的 instance 和 那个 另外 属性 不 equal 那个 第三 属性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12658-12672	如果 过程 是 染色 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 实体 和 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 那个 实体 是 颜色属性 的 instance 和 那个 实体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 不 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring 或 那个 实体 不 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12234-12239	如果 过程 是 关押 的 instance 和 有认知的主事 是 那个 过程 的 patient 和 那个 有认知的主事 是 人类 的 instance， 然后 那个 有认知的主事 doesn't desires 那个 有认知的主事 是 那个 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1422-1432	如果 客体 是 WirelessNetwork 的 instance 和 运动 是 NetworkCommunication 的 instance 和 那个 客体 是导致 那个 运动 的 instrument 和 另一个 客体%n是那个 运动发生的path， 然后 有存在 第三 客体 这样 那个 第三 客体 是 那个 另外 客体 的 part 和 那个 第三 客体 不 是 Cable 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4123-4135	如果 过程 是 ChangingAccountInfo 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 施事体 有 account 用户帐号 和 accountInformation 那个 用户帐号 and 命题， 然后 有存在 实体 这样 那个 实体 不 equal 那个 命题 和 accountInformation 那个 用户帐号 and 那个 实体 在 紧接 那个 过程 出现 的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4079-4092	如果 过程 是 ChangingPassword 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 施事体 有 account 用户帐号 和 那个 用户帐号 有 password 电脑密码 ， 然后 有存在 实体 这样 那个 实体 是 电脑密码 的 instance 和 那个 实体 不 equal 那个 电脑密码 和 那个 用户帐号 有 password 那个 实体 在 紧接 那个 过程 出现 的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4101-4114	如果 过程 是 ChangingUserName 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 施事体 有 account 用户帐号 和 那个 用户帐号 的 user name 是 用户名 ， 然后 有存在 实体 这样 那个 实体 是 用户名 的 instance 和 那个 实体 不 equal 那个 用户名 和 那个 用户帐号 的 user name 是 那个 实体 在 紧接 那个 过程 出现 的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 391-401	如果 过程 是 关闭帐户 的 instance 和 实体 是 那个 过程 的 patient， 然后 那个 实体 是 金融账户 的 instance 在 紧接 那个 过程 出现 的 time before holdsDuring 和 那个 实体 不 是 金融账户 的 instance 在 紧接 那个 过程 出现 的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4566-4576	如果 过程 是 DeletingAnAccount 的 instance 和 实体 是 Account 的 instance 和 施事体 有 account 那个 实体 在 紧接 那个 过程 出现 的 time before holdsDuring 和 那个 实体 是 那个 过程 的 patient 和 那个 施事体 是 那个 过程 的 agent， 然后 不 那个 施事体 有 account 那个 实体 在 紧接 那个 过程 出现 的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Dining.kif 564-569	如果 过程 是 DeliveryService 的 instance 和 客体 是 那个 过程 的源头 和 那个 过程 在 实体 结束， 然后 那个 客体 不 equal 那个 实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20002-20014	如果 过程 是 拆卸 的 instance 和 施事体 是 那个 过程 的 agent 和 实体 是 那个 过程 的 patient， 然后 那个 施事体 在 那个 实体 的 上 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 施事体 不 在 那个 实体 的 上 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 450-463	如果 过程 是 躲着 的 instance 和 施事体 是 那个 过程 的 agent 和 那个 过程T equal 那个 过程 出现 的 time， 然后 那个 过程 的 目的 是 不存在 实体 这样 那个 过程T 接着 那个 实体 出现 的 time 或 那个 实体 出现 的 time 时段 和 那个 过程T 重叠 和 那个 实体 是 碰撞 的 instance 和 那个 施事体 是 那个 实体 的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10900-10913	如果 过程 是 量变 的 instance 和 实体 是 那个 过程 的 patient， 然后 有存在 另一个 实体， 第三 实体,， ， 时距,， ， 另一个 时距， and 和 第四 实体 这样 那个 时距 比那个 另外 时距发生的earlier 和 那个 实体 的 measure 是 那个 另外 实体 那个 第四 实体 在 那个 时距 holdsDuring 和 那个 实体 的 measure 是 那个 第三 实体 那个 第四 实体 在 那个 另外 时距 holdsDuring 和 那个 另外 实体 不 equal 那个 第三 实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13453-13462	如果 过程 是 防守机动 的 instance 和 施事体 是 那个 过程 的 agent， 然后 那个 施事体 在 那个 过程 的 目的 是 不存在 实体 这样 那个 实体 是 损坏 的 instance 和 那个 施事体 是 那个 实体 的 patient
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6997-7014	如果 过程 是 凝华 的 instance 和 客体 是 那个 过程 的 patient， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 那个 客体 的 part 和 加油站 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的开始 holdsDuring 和 固体 是 那个 另外 客体 的 attribute 在 那个 过程 出现 的 time 的结束 holdsDuring 和 液体 是 那个 另外 客体 的 attribute doesn't 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 618-630	如果 过程 是 精确破坏 的 instance 和 实体 是 那个 过程 的 patient， 然后 那个 过程 的 目的 是 不存在 另一个 实体 和 第三 实体 这样 那个 另外 实体 是 损坏 的 instance 和 那个 另外 实体%n是那个 过程的subProcess 和 那个 第三 实体 是 那个 另外 实体 的 patient 和 那个 实体 不 equal 那个 第三 实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12430-12437	如果 过程 是 脱离 的 instance 和 实体 是 那个 过程 的 patient 和 另一个 实体 是 那个 过程 的 patient， 然后 那个 实体 和 那个 另外 实体 是 connected 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 实体 和 那个 另外 实体 不 是 connected 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1876-1888	如果 过程 是 防御性信息操作 的 instance 和 有认知的主事 是 那个 过程 的 agent 和 enemy 那个 有认知的主事 and 另一个 有认知的主事 和 那个 另外 有认知的主事 desires 那个 另外 有认知的主事 knows 实体 和 那个 有认知的主事 desires 那个 另外 有认知的主事 doesn't knows 那个 实体， 然后 那个 过程 的 目的 是 那个 另外 有认知的主事 doesn't knows 那个 实体
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