No TPTP formula. May not be expressible in strict first order.	Merge.kif 7793-7793	smaller est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8056-8056	starts est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14349-14349	stored est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21339-21339	subField est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5897-5897	subGraph est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4655-4655	subPlan est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4634-4634	subProposition est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 727-727	successorAttributeClosure est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9034-9034	successorClass est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9674-9674	superficialPart est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15726-15726	version est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2392-2392	Relation �quivalente est une sous-classe de relation transitive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2365-2365	Relation partiellement dirig�e est une sous-classe de relation transitive
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