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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DirectionalSubregionFn

Sigma KEE - DirectionalSubregionFn
DirectionalSubregionFn

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


(documentation DirectionalSubregionFn EnglishLanguage "(DirectionalSubregionFn ?DIRECTION ?AREA) denotes the part of GeographicArea ?AREA that lies in ?DIRECTION from the geographic center of ?AREA. For example, (DirectionalSubregionFn Iraq North) denotes the Northern part of Iraq. Such subregions are defined purely by geographical points of reference, not by sociological ones. For example, (DirectionalSubregionFn UnitedStatesOfAmerica South) denotes the Southern half of the United States, it does not denote the American South as distinguished for historical, literary, or cultural purposes.") Geography.kif 481-491
(domain DirectionalSubregionFn 1 DirectionalAttribute) Geography.kif 477-477 DirectionalSubregionFn の数値 1 引数は 方向属性instance では %n
(domain DirectionalSubregionFn 2 GeographicArea) Geography.kif 478-478 DirectionalSubregionFn の数値 2 引数は 地理的地域instance では %n
(instance DirectionalSubregionFn BinaryFunction) Geography.kif 476-476 DirectionalSubregionFn2変数関数instance では %n
(range DirectionalSubregionFn GeographicArea) Geography.kif 479-479 DirectionalSubregionFnrange地理的地域 のインスタンス では %n

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


(format ChineseLanguage DirectionalSubregionFn "%1 和 %2 的 directional 次要地区") domainEnglishFormat.kif 756-756
(format ChineseTraditionalLanguage DirectionalSubregionFn "%1 和 %2 的 directional 次要地區") domainEnglishFormat.kif 755-755
(format EnglishLanguage DirectionalSubregionFn "the directional subregion of %1 and %2") domainEnglishFormat.kif 754-754
(termFormat ChineseLanguage DirectionalSubregionFn "定向分区域") domainEnglishFormat.kif 19698-19698
(termFormat ChineseTraditionalLanguage DirectionalSubregionFn "定向分區域") domainEnglishFormat.kif 19697-19697
(termFormat EnglishLanguage DirectionalSubregionFn "directional subregion") domainEnglishFormat.kif 19696-19696

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


(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))
Geography.kif 500-505

consequent
-------------------------


(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))
Geography.kif 500-505

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