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 GeopoliticalArea AutonomousAgent) Merge.kif 14054-14054
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 8009-8009
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 8017-8017
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 8077-8077
(subclass Nation GeopoliticalArea) Merge.kif 14223-14223
(subclass StateOrProvince GeopoliticalArea) Merge.kif 14230-14230
(subclass City GeopoliticalArea) Merge.kif 14244-14244
(subclass County GeopoliticalArea) Merge.kif 14251-14251
(subclass OverseasArea GeopoliticalArea) Government.kif 487-487
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 525-525
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 531-531


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