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 16904-16908	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 14075-14075	Secteur g�opolitique est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14076-14076	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 8008-8008	IndependentState est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8016-8016	DependencyOrSpecialSovereigntyArea est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8076-8076	CityDistrict est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14245-14245	Nation est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14252-14252	Etat ou province est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14266-14266	Ville est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14273-14273	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