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 16904-16908
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn ?TYPE ?AREA))
        (subclass ?TYPE GeopoliticalArea)
        (instance ?AREA GeopoliticalArea))
    (geopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 6931-6936
(subclass GeopoliticalArea GeographicArea) Merge.kif 14075-14075 AreaGeopolitica è una sottoclasse di AreaGeografica
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 14076-14076 AreaGeopolitica è una sottoclasse di AutonomousAgent
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938 PortFacility è una sottoclasse di AreaGeopolitica
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 8008-8008 IndependentState è una sottoclasse di AreaGeopolitica
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 8016-8016 DependencyOrSpecialSovereigntyArea è una sottoclasse di AreaGeopolitica
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 8076-8076 CityDistrict è una sottoclasse di AreaGeopolitica
(subclass Nation GeopoliticalArea) Merge.kif 14245-14245 Nazione è una sottoclasse di AreaGeopolitica
(subclass StateOrProvince GeopoliticalArea) Merge.kif 14252-14252 StatoOProvincia è una sottoclasse di AreaGeopolitica
(subclass City GeopoliticalArea) Merge.kif 14266-14266 Citt� è una sottoclasse di AreaGeopolitica
(subclass County GeopoliticalArea) Merge.kif 14273-14273 County è una sottoclasse di AreaGeopolitica
(subclass OverseasArea GeopoliticalArea) Government.kif 487-487 OverseasArea è una sottoclasse di AreaGeopolitica
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 525-525 ParliamentaryTerritory è una sottoclasse di AreaGeopolitica
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 531-531 SelfGoverningTerritory è una sottoclasse di AreaGeopolitica


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