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 16626-16626 机构 是 群组 的 subclass
(subclass Organization AutonomousAgent) Merge.kif 16632-16632 机构 是 施事体 的 subclass
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2611-2611 CrossFunctionalTeam 是 机构 的 subclass
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2781-2781 CustomerSupport 是 机构 的 subclass
(subclass TransportationAuthority Organization) Transportation.kif 3095-3095 运输当局 是 机构 的 subclass
(subclass ShipCrew Organization) Transportation.kif 3265-3265 船员 是 机构 的 subclass
(subclass MarchingBand Organization) Music.kif 966-966 MarchingBand 是 机构 的 subclass
(subclass Club Organization) Mid-level-ontology.kif 942-942 Club 是 机构 的 subclass
(subclass SportsLeague Organization) Mid-level-ontology.kif 7018-7018 体育联盟 是 机构 的 subclass
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7577-7577 沟通组织 是 机构 的 subclass
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7593-7593 媒体组织 是 机构 的 subclass
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7606-7606 非盈利机构 是 机构 的 subclass
(subclass CareOrganization Organization) Mid-level-ontology.kif 7623-7623 护理组织 是 机构 的 subclass
(subclass Commission Organization) Mid-level-ontology.kif 8436-8436 佣金 是 机构 的 subclass
(subclass ServiceOrganization Organization) Mid-level-ontology.kif 8449-8449 服务组织 是 机构 的 subclass
(subclass OrganizationalBoard Organization) Mid-level-ontology.kif 8507-8507 组织委员会 是 机构 的 subclass
(subclass SecurityUnit Organization) Mid-level-ontology.kif 8520-8520 安全部门 是 机构 的 subclass
(subclass UnionOrganization Organization) Mid-level-ontology.kif 8537-8537 工会组织 是 机构 的 subclass
(subclass Business Organization) Merge.kif 16202-16202 Business 是 机构 的 subclass
(subclass PoliticalOrganization Organization) Merge.kif 16667-16667 政治机构 是 机构 的 subclass
(subclass GovernmentOrganization Organization) Merge.kif 16700-16700 政府组织 是 机构 的 subclass
(subclass JudicialOrganization Organization) Merge.kif 16746-16746 司法组织 是 机构 的 subclass
(subclass EducationalOrganization Organization) Merge.kif 16753-16753 教育机构 是 机构 的 subclass
(subclass ReligiousOrganization Organization) Merge.kif 16758-16758 宗教机构 是 机构 的 subclass
(subclass CopyrightAuthority Organization) Media.kif 1707-1707 CopyrightAuthority 是 机构 的 subclass
(subclass HotelFrontDesk Organization) Hotel.kif 1741-1741 HotelFrontDesk 是 机构 的 subclass
(subclass LegislativeOrganization Organization) Government.kif 1924-1924 立法组织 是 机构 的 subclass
(subclass InternationalOrganization Organization) Government.kif 2510-2510 国际组织 是 机构 的 subclass
(subclass MetallurgicalPlant Organization) Geography.kif 2754-2754 冶金厂 是 机构 的 subclass
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 金融机构 是 机构 的 subclass
(subclass StockMarket Organization) FinancialOntology.kif 1754-1754 股市 是 机构 的 subclass


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