No TPTP formula. May not be expressible in strict first order.	Geography.kif 4732-4740	如果 物理 是 冰山 的 instance， 然后 有存在 类 这样 那个 类 是 冰川 的 subclass 和 那个 类 是 那个 物理 的材料 在 紧接 那个 物理 出现 的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10497-10509	如果 物理 是 Clotting 的 instance， 然后 有存在 实体 这样 那个 实体 是 血液 的 instance 和 液体 是 那个 实体 的 attribute 在 紧接 那个 物理 出现 的 time before holdsDuring 和 固体 是 那个 实体 的 attribute 在 紧接 那个 物理 出现 的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4263-4282	如果 物理 是 FindMyIPhone 的 instance， 然后 那个 物理 的 目的 是 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 另外 实体 是 iPhone 的 instance 和 那个 物理 是导致 那个 第三 实体 的 instrument 和 那个 实体 是 那个 第三 实体 的 agent 和 那个 另外 实体 是 那个 第三 实体 的 patient 和 那个 实体 doesn't knows 那个 另外 实体 是 located 在 那个 第四 实体 在 紧接 那个 第三 实体 出现 的 time before holdsDuring 和 那个 实体 knows 那个 另外 实体 是 located 在 那个 第四 实体 在 紧接 那个 第三 实体 出现 的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3614-3630	如果 物理 是 Inflating 的 instance， 然后 有存在 客体， 另一个 客体,， ， 实数,， ， 另一个 实数,， ， 类， and 和 实体 这样 那个 客体 是 那个 类 的 instance 和 那个 另外 客体 是 那个 类 的 instance 和 那个 类 是 物质 的 instance 和 加油站 是 那个 客体 的 attribute 和 加油站 是 那个 另外 客体 的 attribute 和 那个 实体 是 UnitOfVolume 的 instance 和 那个 客体 的 measure 是 那个 实数 那个 实体 在 紧接 那个 物理 出现 的 time before holdsDuring 和 那个 另外 客体 的 measure 是 那个 另外 实数 那个 实体 在 紧接 那个 物理 出现 的 time after holdsDuring 和 那个 另外 实数 是 greaterThan 那个 实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8526-8528	如果 时间位置 是 时距 的 instance， 然后 紧接 那个 时间位置 before finishes了才到 那个 时间位置 before
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2103-2118	如果 实体 是 Shrapnel 的 instance， 然后 有存在 客体 和 过程 这样 那个 客体 是 炸弹 的 instance 和 那个 过程 是 爆炸 的 instance 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 实体 是 那个 客体 的 part 在 紧接 那个 过程 出现 的 time before holdsDuring 和 那个 实体 不 是 那个 客体 的 part 在 紧接 那个 过程 出现 的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21903-21916	如果 过程 是 劫持 的 instance， 然后 有存在 实体 和 施事体 这样 那个 施事体 是 那个 过程 的 agent 和 那个 实体 是 运输设备 的 instance 和 那个 施事体 doesn't possesses 那个 实体 在 紧接 那个 过程 出现 的 time before holdsDuring 和 那个 施事体 possesses 那个 实体 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21959-21974	如果 物理 是 绑架 的 instance， 然后 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 有感知的主事 的 instance 和 那个 另外 实体 是 地理区域 的 instance 和 那个 第三 实体 是 地理区域 的 instance 和 那个 另外 实体 不 equal 那个 第三 实体 和 那个 实体 是 located 在 那个 另外 实体 在 紧接 那个 物理 出现 的 time before holdsDuring 和 那个 实体 是 located 在 那个 第三 实体 在 那个 物理 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11361-11372	如果 objectTransferred 转移 and 客体， 然后 有存在 另一个 客体 和 实体 这样 那个 另外 客体 是 那个 转移 的源头 和 那个 转移 在 那个 实体 结束 和 那个 客体 是 located 在 那个 另外 客体 在 紧接 那个 转移 before holdsDuring 和 那个 客体 是 located 在 那个 实体 在 紧接 那个 转移 after holdsDuring

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