Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))
Mid-level-ontology.kif 16324-16328
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn ?TYPE ?AREA))
        (subclass ?TYPE GeopoliticalArea)
        (instance ?AREA GeopoliticalArea))
    (geopoliticalSubdivision ?GEO ?AREA))
Geography.kif 6619-6624
(=>
    (and
        (instance ?AGENT Agent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1677-1683
(=>
    (and
        (codeMapping ISO-4217-A ?A3 ?CURRENCY)
        (codeMapping ISO-3166-1-alpha-2 ?A2 ?AREA)
        (subclass ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))
Media.kif 2877-2883
(subclass GeopoliticalArea GeographicArea) Merge.kif 13799-13799
(subclass GeopoliticalArea Agent) Merge.kif 13800-13800
(subclass PortFacility GeopoliticalArea) Transportation.kif 938-938
(subclass IndependentState GeopoliticalArea) Mid-level-ontology.kif 7678-7678
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 7686-7686
(subclass CityDistrict GeopoliticalArea) Mid-level-ontology.kif 7746-7746
(subclass Nation GeopoliticalArea) Merge.kif 13969-13969
(subclass StateOrProvince GeopoliticalArea) Merge.kif 13976-13976
(subclass City GeopoliticalArea) Merge.kif 13990-13990
(subclass County GeopoliticalArea) Merge.kif 13997-13997
(subclass OverseasArea GeopoliticalArea) Government.kif 475-475
(subclass ParliamentaryTerritory GeopoliticalArea) Government.kif 513-513
(subclass SelfGoverningTerritory GeopoliticalArea) Government.kif 519-519


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