No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1690-1690	plays est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1678-1678	referee est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2508-2508	resource est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1991-1991	resourceUsed est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2548-2548	result est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6791-6791	targetInAttack est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22859-22859	transported est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 258-258	victim est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 208-208	witness est une sous-relation de patient
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 168-168
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44796-44796
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44795-44795
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44794-44794
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 64-64

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