No TPTP formula. May not be expressible in strict first order.	Law.kif 116-122	如果 rewards 人类 and 施事体， 然后 有存在 机构， 地位， and 和 过程 这样 那个 人类 在 那个 机构 任职 那个 地位 和 那个 人类 是 那个 过程 的 agent 和 那个 机构 wants 那个 过程
No TPTP formula. May not be expressible in strict first order.	Law.kif 104-109	如果 rewards 有认知的主事 and 施事体， 然后 有存在 过程 这样 那个 施事体 是 那个 过程 的 agent 和 那个 有认知的主事 wants 那个 过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29610-29613	如果 有认知的主事 suffers 从 过程 ， 然后 那个 有认知的主事 doesn't wants 那个 过程

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