No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1690-1690	plays e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1678-1678	referee e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2508-2508	resource e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1991-1991	resourceUsed e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2548-2548	result e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6792-6792	targetInAttack e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22860-22860	transported e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 258-258	victim e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 208-208	witness e' uma sub-relacao 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