No TPTP formula. May not be expressible in strict first order.	Merge.kif 10485-10492	如果 过程 是 中毒 的 instance， 然后 有存在 实体 这样 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 生物 的 instance 或 那个 实体 是 解剖结构 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10158-10163	如果 过程 是 生物过程 的 instance， 然后 有存在 客体 这样 那个 客体 是 生物 的 instance 和 那个 过程 是 located 在 那个 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2118-2127	如果 过程 是 Excreting 的 instance， 然后 有存在 施事体， 实体， and 和 客体 这样 那个 施事体 是 生物 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 Excrement 的 instance 和 那个 客体 是 身体部位 的 instance 和 那个 客体 是导致 那个 过程 的 instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15163-15168	如果 客体 是 身体组织 的 instance， 然后 有存在 另一个 客体 这样 那个 另外 客体 是 生物 的 instance 和 那个 客体 是 那个 另外 客体 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 795-802	如果 过程 是 发声 的 instance， 然后 有存在 客体 和 另一个 客体 这样 那个 客体 是 VocalCords 的 instance 和 那个 客体 是导致 那个 过程 的 instrument 和 那个 客体 是 那个 另外 客体 的 part 和 那个 另外 客体 是 生物 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2067-2074	如果 实体 是 Excrement 的 instance， 然后 有存在 过程 和 施事体 这样 那个 施事体 是 生物 的 instance 和 那个 过程 是 生理过程 的 instance 和 那个 实体 是 那个 过程 的 result 和 那个 施事体 是 那个 过程 的 agent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2519-2534	如果 酸雨 是 过程 的 patient， 然后 有存在 实体， 另一个 实体,， ， 第三 实体， and 和 第四 实体 这样 那个 实体 是 损坏 的 instance 和 那个 过程 causes 那个 实体 和 那个 过程 是导致 那个 实体 的 instrument 和 那个 另外 实体 是 生物 的 instance 和 那个 第三 实体 是 固定人工制品 的 instance 和 那个 第四 实体 是 在户外 的 instance 和 那个 第三 实体 是 located 在 那个 第四 实体 和 那个 另外 实体 是 located 在 那个 第四 实体 和 那个 另外 实体 是 那个 实体 的 patient 或 那个 第三 实体 是 那个 实体 的 patient 的声明 has 可能性 的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23987-23989	如果 有点 过程 是 Fertilisation 的 subclass， 然后 生物 能够担当 受事 的角色做 有点 过程

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