Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeographicPartTypeFn

Sigma KEE - GeographicPartTypeFn
GeographicPartTypeFn

appearance as argument number 1
-------------------------


(documentation GeographicPartTypeFn EnglishLanguage "(GeographicPartTypeFn ?TYPE ?AREA) evaluates to the Class of all instances of ?TYPE that are located in the GeographicArea ?AREA.") Geography.kif 6238-6241
(domain GeographicPartTypeFn 2 GeographicArea) Geography.kif 6236-6236 The number 2 argument of GeographicPartTypeFn is an instance of geographic area
(domainSubclass GeographicPartTypeFn 1 GeographicArea) Geography.kif 6235-6235 The number 1 argument of GeographicPartTypeFn is a subclass of geographic area
(instance GeographicPartTypeFn BinaryFunction) Geography.kif 6234-6234 GeographicPartTypeFn is an instance of binary function
(rangeSubclass GeographicPartTypeFn GeographicArea) Geography.kif 6237-6237 The values returned by GeographicPartTypeFn are subclasses of geographic area

appearance as argument number 2
-------------------------


(format EnglishLanguage GeographicPartTypeFn "all the instances of %1 in %2") domainEnglishFormat.kif 889-889

antecedent
-------------------------


(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn ?TYPE ?AREA))
        (subclass ?TYPE GeopoliticalArea)
        (instance ?AREA GeopoliticalArea))
    (geopoliticalSubdivision ?GEO ?AREA))
Geography.kif 6253-6258
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))
Geography.kif 6260-6264
(=>
    (equal ?CLASS
        (GeographicPartTypeFn ?TYPE ?AREA))
    (subclass ?CLASS ?TYPE))
Geography.kif 6243-6245
(=>
    (instance ?GEO
        (GeographicPartTypeFn ?TYPE ?AREA))
    (part ?GEO ?AREA))
Geography.kif 6249-6251

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners