No TPTP formula. May not be expressible in strict first order.	Government.kif 1106-1118	如果 普选法 是 国家 的 regional 法律 的 subProposition， 然后 对所有 人类， 选举,， ， 实数， and 和 另一个 实数 如果 那个 人类 是 那个 国家 的 citizen 和 那个 实数 年持续时间 是 那个 国家 的 suffrage 最小年纪 和 那个 人类 的 age 是 那个 另外 实数 年持续时间 和 那个 另外 实数 是 greaterThanOrEqualTo 那个 实数 和 那个 选举 是 那个 国家 的 election 的 instance， 然后 那个 人类 能够担当 主事 的角色做 那个 选举 的 voting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23987-23989	如果 有点 过程 是 Fertilisation 的 subclass， 然后 生物 能够担当 受事 的角色做 有点 过程
No TPTP formula. May not be expressible in strict first order.	Law.kif 384-388	如果 trusts 有认知的主事, 施事体 and 那个 施事体 能够担当 主事 的角色做 实体， 然后 那个 有认知的主事 knows 那个 施事体 能够担当 主事 的角色做 那个 实体

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