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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1692-1698
(=>
    (and
        (attribute ?X DutyFree)
        (instance ?X Store))
    (exists (?AREA ?OBJ ?O ?SELL)
        (and
            (instance ?AREA GeopoliticalArea)
            (located ?X ?AREA)
            (subclass ?O Object)
            (importCommodityType ?AREA ?O)
            (instance ?OBJ ?O)
            (instance ?SELL Selling)
            (patient ?SELL ?OBJ)
            (located ?SELL ?X))))		 Hotel.kif 1478-1491
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))		 Mid-level-ontology.kif 16905-16909
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn ?TYPE ?AREA))
        (subclass ?TYPE GeopoliticalArea)
        (instance ?AREA GeopoliticalArea))
    (geopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 6931-6936
(subclass GeopoliticalArea GeographicArea) Merge.kif 14053-14053 地缘政治区域 是 地理区域 的 subclass
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 14054-14054 地缘政治区域 是 施事体 的 subclass
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 港口设施 是 地缘政治区域 的 subclass
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 8009-8009 独立国家 是 地缘政治区域 的 subclass
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 8017-8017 依赖或特殊主权领域 是 地缘政治区域 的 subclass
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 8077-8077 市区 是 地缘政治区域 的 subclass
(subclass Nation GeopoliticalArea) Merge.kif 14223-14223 国家 是 地缘政治区域 的 subclass
(subclass StateOrProvince GeopoliticalArea) Merge.kif 14230-14230 州或省 是 地缘政治区域 的 subclass
(subclass City GeopoliticalArea) Merge.kif 14244-14244 城市 是 地缘政治区域 的 subclass
(subclass County GeopoliticalArea) Merge.kif 14251-14251 县 是 地缘政治区域 的 subclass
(subclass OverseasArea GeopoliticalArea) Government.kif 487-487 海外地区 是 地缘政治区域 的 subclass
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 525-525 议会领土 是 地缘政治区域 的 subclass
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 531-531 自治领土 是 地缘政治区域 的 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