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
(subclass GeopoliticalArea AutonomousAgent) Merge.kif 14076-14076
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 8008-8008
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 8016-8016
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 8076-8076
(subclass Nation GeopoliticalArea) Merge.kif 14245-14245
(subclass StateOrProvince GeopoliticalArea) Merge.kif 14252-14252
(subclass City GeopoliticalArea) Merge.kif 14266-14266
(subclass County GeopoliticalArea) Merge.kif 14273-14273
(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