No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26627-26636	如果 客体 是 Patio 的 instance， 然后 铺砌 是 那个 客体 的 attribute 的声明 has 容易 的语气 和 有存在 另一个 客体 这样 那个 另外 客体 是 建筑物 的 instance 和 那个 客体 在 那个 另外 客体 的 邻 和 那个 客体 是 located 在 在户外
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19236-19247	如果 客体 在 另一个 客体 的 楼下， 然后 有存在 第三 客体， 第四 客体， and 和 第五 客体 这样 那个 第三 客体 是 建设水平 的 instance 和 那个 第四 客体 是 建设水平 的 instance 和 那个 第五 客体 是 建筑物 的 instance 和 那个 第三 客体 是 那个 第五 客体 的 part 和 那个 第四 客体 是 那个 第五 客体 的 part 和 那个 客体 是 located 在 那个 第三 客体 和 那个 另外 客体 是 located 在 那个 第四 客体 和 那个 第三 客体 在 那个 第四 客体 的 下面
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19219-19230	如果 客体 在 另一个 客体 的 楼上， 然后 有存在 第三 客体， 第四 客体， and 和 第五 客体 这样 那个 第三 客体 是 建设水平 的 instance 和 那个 第四 客体 是 建设水平 的 instance 和 那个 第五 客体 是 建筑物 的 instance 和 那个 第三 客体 是 那个 第五 客体 的 part 和 那个 第四 客体 是 那个 第五 客体 的 part 和 那个 客体 是 located 在 那个 第三 客体 和 那个 另外 客体 是 located 在 那个 第四 客体 和 那个 第三 客体 在 那个 第四 客体 的 以上

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