No TPTP formula. May not be expressible in strict first order.	Merge.kif 7771-7771	例 較小 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8034-8034	例 啟動 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14350-14350	例 stored and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21340-21340	例 子領域 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5897-5897	例 子圖 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4655-4655	例 子計劃 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4634-4634	例 次提案 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 727-727	例 後繼屬性關閉 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9012-9012	例 successorClass and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9652-9652	例 膚淺的部分 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15704-15704	例 版 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2392-2392	子類 EquivalenceRelation and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2365-2365	子類 PartialOrderingRelation and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 899-899
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1005-1005
No TPTP formula. May not be expressible in strict first order.	french_format.kif 575-575
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 105-105
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 108-108
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2260-2260
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 527-527
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 142-142
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 596-596
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 109-109

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