No TPTP formula. May not be expressible in strict first order.	Merge.kif 7793-7793	smaller is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8056-8056	starts is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14349-14349	stored is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21339-21339	sub field is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5897-5897	sub graph is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4655-4655	sub plan is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4634-4634	sub proposition is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 727-727	successor attribute closure is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9034-9034	successor class is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9674-9674	superficial part is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15726-15726	version is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2392-2392	Equivalence relation is a subclass of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2365-2365	Partial ordering relation is a subclass of transitive relation
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