No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16971-16973	如果 机构 是 对于 %3 和 %4 的 monetary 工资， 然后 那个 机构 employs 人类
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 630-635	如果 施事体 有 staff 关联属性 ， 然后 有存在 有认知的主事 这样 那个 施事体 employs 那个 有认知的主事 和 那个 关联属性 是 那个 有认知的主事 的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22734-22736	如果 机构 是 对于 人类 在 组织 另一个 人类 的 subordinate ， 然后 那个 机构 employs 那个 另外 人类
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22738-22740	如果 机构 是 对于 人类 在 组织 另一个 人类 的 subordinate ， 然后 那个 机构 employs 那个 人类

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