No TPTP formula. May not be expressible in strict first order.	Government.kif 1498-1500	Secteur g�opolitique est une instance de secteur g�opolitique CabinetFn secteur g�opolitique est une partie de l'organization ExecutiveBranchFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8539-8546	Organisation est une instance de OrganizationalBoard organisation processus organisation est une partie de l'organization organisation processus est une instance de diriger processus est un agent de organisation organisation est un patient de processus
No TPTP formula. May not be expressible in strict first order.	People.kif 834-836	Organisation est une instance de AnglicanChurch organisation est une partie de l'organization ChurchOfEngland
No TPTP formula. May not be expressible in strict first order.	People.kif 1155-1157	Organisation est une instance de LocalChurchOfLatterDaySaints organisation est une partie de l'organization ChurchOfJesusChristOfLatterDaySaints
No TPTP formula. May not be expressible in strict first order.	People.kif 893-895	Organisation est une instance de LocalRomanCatholicChurch organisation est une partie de l'organization RomanCatholicChurch
No TPTP formula. May not be expressible in strict first order.	Government.kif 2151-2153	Organisation est une instance de SupremeCourtFn secteur g�opolitique organisation est une partie de l'organization JudiciaryFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6065-6070	Organisation est une instance de FleetMarineForce organisation organisation est une instance de MarinesBranchOfService organisation est une partie de l'organization organisation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1357-1373	AutonomousAgent est une instance de HostNation processus organisation, secteur g�opolitique and MilitaryOrganization secteur g�opolitique est une instance de nation MilitaryOrganization est une instance de MilitaryForce militaryOfArea MilitaryOrganization and secteur g�opolitique organisation est une partie de l'organization MilitaryOrganization AutonomousAgent est secteur g�opolitique enemy AutonomousAgent and secteur g�opolitique processus est une instance de obtenir processus est un agent de AutonomousAgent organisation est un patient de processus organisation est une instance de MilitaryForce organisation est situ� � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1923-1931	Organisation est une instance de BicameralLegislature organisation organisation organisation est une instance de LegislativeChamber organisation est une partie de l'organization organisation organisation est une instance de LegislativeChamber organisation est une partie de l'organization organisation organisation est organisation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16755-16760	Organisation est une instance de GovernmentOrganization organisation organisation est une instance de gouvernement organisation est une partie de l'organization organisation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16778-16783	Organisation est une instance de GraduateSchool organisation organisation est une instance de University organisation est une partie de l'organization organisation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1748-1753	Organisation est une instance de HotelFrontDesk organisation TravelerAccommodation est un attribut de organisation organisation est une partie de l'organization organisation

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