No TPTP formula. May not be expressible in strict first order.	Merge.kif 7793-7793	smaller e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8056-8056	starts e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14349-14349	stored e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21339-21339	subField e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5897-5897	subGraph e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4655-4655	subPlan e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4634-4634	subProposition e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 727-727	successorAttributeClosure e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9034-9034	successorClass e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9674-9674	superficialPart e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15726-15726	version e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2392-2392	Relacao Qquivalente e' uma sub-classe de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2365-2365	Relacao parcialmente Ordenada e' uma sub-classe de Relacao Transitiva
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