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 2324-2329
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1692-1698
(subclass Organization Group) Merge.kif 16604-16604 組織 は グループ の subclass では %n
(subclass Organization AutonomousAgent) Merge.kif 16610-16610 組織 は AutonomousAgent の subclass では %n
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2611-2611 CrossFunctionalTeam は 組織 の subclass では %n
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2781-2781 CustomerSupport は 組織 の subclass では %n
(subclass TransportationAuthority Organization) Transportation.kif 3095-3095 TransportationAuthority は 組織 の subclass では %n
(subclass ShipCrew Organization) Transportation.kif 3265-3265 ShipCrew は 組織 の subclass では %n
(subclass MarchingBand Organization) Music.kif 966-966 MarchingBand は 組織 の subclass では %n
(subclass Club Organization) Mid-level-ontology.kif 942-942 Club は 組織 の subclass では %n
(subclass SportsLeague Organization) Mid-level-ontology.kif 7019-7019 SportsLeague は 組織 の subclass では %n
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7578-7578 CommunicationOrganization は 組織 の subclass では %n
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7594-7594 MediaOrganization は 組織 の subclass では %n
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7607-7607 NonprofitOrganization は 組織 の subclass では %n
(subclass CareOrganization Organization) Mid-level-ontology.kif 7624-7624 CareOrganization は 組織 の subclass では %n
(subclass Commission Organization) Mid-level-ontology.kif 8437-8437 Commission は 組織 の subclass では %n
(subclass ServiceOrganization Organization) Mid-level-ontology.kif 8450-8450 ServiceOrganization は 組織 の subclass では %n
(subclass OrganizationalBoard Organization) Mid-level-ontology.kif 8508-8508 OrganizationalBoard は 組織 の subclass では %n
(subclass SecurityUnit Organization) Mid-level-ontology.kif 8521-8521 SecurityUnit は 組織 の subclass では %n
(subclass UnionOrganization Organization) Mid-level-ontology.kif 8538-8538 UnionOrganization は 組織 の subclass では %n
(subclass Business Organization) Merge.kif 16180-16180 Business は 組織 の subclass では %n
(subclass PoliticalOrganization Organization) Merge.kif 16645-16645 政治組織 は 組織 の subclass では %n
(subclass GovernmentOrganization Organization) Merge.kif 16678-16678 GovernmentOrganization は 組織 の subclass では %n
(subclass JudicialOrganization Organization) Merge.kif 16724-16724 JudicialOrganization は 組織 の subclass では %n
(subclass EducationalOrganization Organization) Merge.kif 16731-16731 教育組織 は 組織 の subclass では %n
(subclass ReligiousOrganization Organization) Merge.kif 16736-16736 宗教団体 は 組織 の subclass では %n
(subclass CopyrightAuthority Organization) Media.kif 1707-1707 CopyrightAuthority は 組織 の subclass では %n
(subclass HotelFrontDesk Organization) Hotel.kif 1741-1741 HotelFrontDesk は 組織 の subclass では %n
(subclass LegislativeOrganization Organization) Government.kif 1924-1924 LegislativeOrganization は 組織 の subclass では %n
(subclass InternationalOrganization Organization) Government.kif 2510-2510 InternationalOrganization は 組織 の subclass では %n
(subclass MetallurgicalPlant Organization) Geography.kif 2754-2754 MetallurgicalPlant は 組織 の subclass では %n
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 FinancialOrganization は 組織 の subclass では %n
(subclass StockMarket Organization) FinancialOntology.kif 1754-1754 StockMarket は 組織 の subclass では %n


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