No TPTP formula. May not be expressible in strict first order.	Merge.kif 7793-7793	更小 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8056-8056	开始 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14349-14349	stored 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21339-21339	子领域 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5897-5897	子图 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4655-4655	子计划 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4634-4634	子命题 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 727-727	后续属性闭包 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9034-9034	successorClass 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9674-9674	表面部分 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15726-15726	版本 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2392-2392	等价关系 是 传递关系 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2365-2365	偏序关系 是 传递关系 的 subclass
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