No TPTP formula. May not be expressible in strict first order.	Merge.kif 17150-17153	方位 Object, Object and 以上 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17203-17206	方位 Object, Object and 近 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17217-17219	方位 Object, Object and 上 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2760-2770	運輸系統 是 公交專用道 在系統裡的 path 運輸系統 是在系統 公交專用道 的 route 公交專用道 公交專用道 運輸系統 是在系統 公交專用道 的 route 運輸系統 是在系統 公交專用道 的 route 部分 公交專用道 and 公交專用道 部分 公交專用道 and 公交專用道 連接的 公交專用道 and 公交專用道
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17973-17982	relativeAngle Object, Object and RealNumber 例 Object and Object attribute Object and 又長又瘦 例 Object and Object attribute Object and 又長又瘦 連接的 Object and Object 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2816-2830	Region 是 運輸系統 的 end Object 例 Object and 公交專用道 連接的 Region and Object 運輸系統 是 Object 的 system 部分 Object2 例 Object2 and 公交專用道 連接的 Region and Object2 運輸系統 是 Object2 的 system 部分 等於 Object and Object2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2793-2807	Region 是 運輸系統 的 start Object 例 Object and 公交專用道 連接的 Region and Object 運輸系統 是 Object 的 system 部分 Object2 例 Object2 and 公交專用道 連接的 Region and Object2 運輸系統 是 Object2 的 system 部分 等於 Object and Object2
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5693-5699	WaterArea 是 河 的 outfall Object 例 Object and WaterArea Object 是 河 的 flows 連接的 WaterArea and Object

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