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 では %n
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 14054-14054 地政学的地域 は AutonomousAgent の subclass では %n
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 PortFacility は 地政学的地域 の subclass では %n
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 8009-8009 IndependentState は 地政学的地域 の subclass では %n
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 8017-8017 DependencyOrSpecialSovereigntyArea は 地政学的地域 の subclass では %n
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 8077-8077 CityDistrict は 地政学的地域 の subclass では %n
(subclass Nation GeopoliticalArea) Merge.kif 14223-14223 国民 は 地政学的地域 の subclass では %n
(subclass StateOrProvince GeopoliticalArea) Merge.kif 14230-14230 州 は 地政学的地域 の subclass では %n
(subclass City GeopoliticalArea) Merge.kif 14244-14244 都市 は 地政学的地域 の subclass では %n
(subclass County GeopoliticalArea) Merge.kif 14251-14251 County は 地政学的地域 の subclass では %n
(subclass OverseasArea GeopoliticalArea) Government.kif 487-487 OverseasArea は 地政学的地域 の subclass では %n
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 525-525 ParliamentaryTerritory は 地政学的地域 の subclass では %n
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 531-531 SelfGoverningTerritory は 地政学的地域 の 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