Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	AutonomousAgent e' uma instancia de AutonomousAgent ElectionFn AutonomousAgent e' uma sub-classe de Election AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	DutyFree e' um atributo de Objeto Objeto e' uma instancia de Store Area Geopolitica Entidade, Objeto and Processo Area Geopolitica e' uma instancia de Area Geopolitica Objeto e' situado em Area Geopolitica Objeto e' uma sub-classe de Objeto importCommodityType Area Geopolitica and Objeto Entidade e' uma instancia de Objeto Processo e' uma instancia de Vender Entidade e' um patient de Processo Processo e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16905-16909	Relacao e' uma instancia de EconomicRelation o argumento numero 1 de Relacao e' uma instancia de Classe Classe e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6931-6936	Area Geopolitica e' uma instancia de GeographicPartTypeFn Area Geografica and Area Geopolitica Area Geografica e' uma sub-classe de Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14053-14053	Area Geopolitica e' uma sub-classe de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14054-14054	Area Geopolitica e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 938-938	PortFacility e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8009-8009	IndependentState e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8017-8017	DependencyOrSpecialSovereigntyArea e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8077-8077	CityDistrict e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14223-14223	Nacao e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14230-14230	Estado ou Provincia e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14244-14244	Cidade e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14251-14251	County e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 487-487	OverseasArea e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 525-525	ParliamentaryTerritory e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 531-531	SelfGoverningTerritory e' uma sub-classe de Area Geopolitica

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