Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	AutonomousAgent est une instance de AutonomousAgent ElectionFn AutonomousAgent est une sous-classe de Election AutonomousAgent est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	DutyFree est un attribut de objet objet est une instance de Store secteur g�opolitique entit�, objet and processus secteur g�opolitique est une instance de secteur g�opolitique objet est situ� � secteur g�opolitique objet est une sous-classe de objet importCommodityType secteur g�opolitique and objet entit� est une instance de objet processus est une instance de vendre entit� est un patient de processus processus est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16905-16909	Relation est une instance de EconomicRelation le nombre 1 argument de relation est une instance de classe classe est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6931-6936	Secteur g�opolitique est une instance de GeographicPartTypeFn secteur g�ographique and secteur g�opolitique secteur g�ographique est une sous-classe de secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14053-14053	Secteur g�opolitique est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14054-14054	Secteur g�opolitique est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 938-938	PortFacility est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8009-8009	IndependentState est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8017-8017	DependencyOrSpecialSovereigntyArea est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8077-8077	CityDistrict est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14223-14223	Nation est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14230-14230	Etat ou province est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14244-14244	Ville est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14251-14251	County est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 487-487	OverseasArea est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 525-525	ParliamentaryTerritory est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 531-531	SelfGoverningTerritory est une sous-classe de secteur g�opolitique

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