Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY Organization))
    (instance ?PARTY PoliticalParty))		 Government.kif 2288-2293
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1656-1662
(subclass Organization Group) Merge.kif 16675-16675
(subclass Organization AutonomousAgent) Merge.kif 16681-16681
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2611-2611
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2781-2781
(subclass TransportationAuthority Organization) Transportation.kif 3147-3147
(subclass ShipCrew Organization) Transportation.kif 3317-3317
(subclass MarchingBand Organization) Music.kif 966-966
(subclass Club Organization) Mid-level-ontology.kif 935-935
(subclass SportsLeague Organization) Mid-level-ontology.kif 7046-7046
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7605-7605
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7621-7621
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7634-7634
(subclass CareOrganization Organization) Mid-level-ontology.kif 7651-7651
(subclass Commission Organization) Mid-level-ontology.kif 8464-8464
(subclass ServiceOrganization Organization) Mid-level-ontology.kif 8477-8477
(subclass OrganizationalBoard Organization) Mid-level-ontology.kif 8535-8535
(subclass SecurityUnit Organization) Mid-level-ontology.kif 8548-8548
(subclass UnionOrganization Organization) Mid-level-ontology.kif 8565-8565
(subclass Business Organization) Merge.kif 16251-16251
(subclass PoliticalOrganization Organization) Merge.kif 16716-16716
(subclass GovernmentOrganization Organization) Merge.kif 16749-16749
(subclass JudicialOrganization Organization) Merge.kif 16795-16795
(subclass EducationalOrganization Organization) Merge.kif 16802-16802
(subclass ReligiousOrganization Organization) Merge.kif 16807-16807
(subclass CopyrightAuthority Organization) Media.kif 1707-1707
(subclass HotelFrontDesk Organization) Hotel.kif 1741-1741
(subclass LegislativeOrganization Organization) Government.kif 1888-1888
(subclass InternationalOrganization Organization) Government.kif 2474-2474
(subclass MetallurgicalPlant Organization) Geography.kif 2754-2754
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17
(subclass StockMarket Organization) FinancialOntology.kif 1754-1754


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