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 Geopolitical area is a subclass of geographic area
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 14054-14054 Geopolitical area is a subclass of agent
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 Port facility is a subclass of geopolitical area
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 8009-8009 Independent state is a subclass of geopolitical area
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 8017-8017 Dependency or special sovereignty area is a subclass of geopolitical area
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 8077-8077 City district is a subclass of geopolitical area
(subclass Nation GeopoliticalArea) Merge.kif 14223-14223 Nation is a subclass of geopolitical area
(subclass StateOrProvince GeopoliticalArea) Merge.kif 14230-14230 State or province is a subclass of geopolitical area
(subclass City GeopoliticalArea) Merge.kif 14244-14244 City is a subclass of geopolitical area
(subclass County GeopoliticalArea) Merge.kif 14251-14251 County is a subclass of geopolitical area
(subclass OverseasArea GeopoliticalArea) Government.kif 487-487 Overseas area is a subclass of geopolitical area
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 525-525 Parliamentary territory is a subclass of geopolitical area
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 531-531 Self governing territory is a subclass of geopolitical area


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