No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1727-1727	O argumento numero 2 de listedOn e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16963-16963	O argumento numero 1 de monetaryWage e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17294-17294	O argumento numero 3 de occupiesPosition e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Media.kif 3474-3474	O argumento numero 2 de organizationName e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1620-1620	O argumento numero 1 de organizationProductType e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1660-1660	O argumento numero 1 de organizationServiceType e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27185-27185	O argumento numero 1 de policyOwner e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15508-15508	O argumento numero 1 de publishes e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Music.kif 132-132	O argumento numero 2 de recordingCompany e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24152-24152	O argumento numero 1 de religiousAffiliationOfOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1912-1912	O argumento numero 1 de seatsHeldInOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2067-2067	O argumento numero 1 de seatsInOrganizationCount e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2119-2119	O argumento numero 2 de shareOf e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16765-16765	O argumento numero 1 de subOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16766-16766	O argumento numero 2 de subOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22726-22726	O argumento numero 1 de subordinateInOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22743-22743	O argumento numero 1 de subordinatePosition e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2577-2577	O argumento numero 1 de successorOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2578-2578	O argumento numero 2 de successorOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3926-3926	O argumento numero 2 de thirdPartyProduct e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20528-20528	O argumento numero 1 de workLocation e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 957-957	O argumento numero 1 de yearOfFounding e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 4633-4633	O argumento numero 2 de diplomaticOrganizationType e' uma sub-classe de Organizacao

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