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

Formal Language: 


KB Term:  Term intersection
English Word: 

  SpokenHumanLanguage

 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 7253-7256
(domain GeographicPartTypeFn 2 GeographicArea) Geography.kif 7251-7251 GeographicPartTypeFn の数値 2 引数は 地理的地域 の instance では
(domainSubclass GeographicPartTypeFn 1 GeographicArea) Geography.kif 7250-7250 GeographicPartTypeFn の数値 1 引数は 地理的地域 のsubclass では
(instance GeographicPartTypeFn BinaryFunction) Geography.kif 7249-7249 GeographicPartTypeFn は 2変数関数 の instance では
(rangeSubclass GeographicPartTypeFn GeographicArea) Geography.kif 7252-7252 GeographicPartTypeFn が返す値は 地理的地域 の subclasses では

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


(format ChineseLanguage GeographicPartTypeFn "%1 所有的 instances 在 %2 ") domainEnglishFormat.kif 3516-3516
(format ChineseTraditionalLanguage GeographicPartTypeFn "%1 所有的 instances 在 %2 ") domainEnglishFormat.kif 3515-3515
(format EnglishLanguage GeographicPartTypeFn "all the instances of %1 in %2") domainEnglishFormat.kif 3514-3514
(termFormat EnglishLanguage GeographicPartTypeFn "geographic part type fn") domainEnglishFormat.kif 64926-64926

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


(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn ?TYPE ?AREA))
        (subclass ?TYPE GeopoliticalArea)
        (instance ?AREA GeopoliticalArea))
    (geopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 7268-7273
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 7275-7279
(=>
    (equal ?CLASS
        (GeographicPartTypeFn ?TYPE ?AREA))
    (subclass ?CLASS ?TYPE))		 Geography.kif 7258-7260
(=>
    (instance ?GEO
        (GeographicPartTypeFn ?TYPE ?AREA))
    (part ?GEO ?AREA))		 Geography.kif 7264-7266

Show without tree


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