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


KB Term:  Term intersection
English Word: 

  AuricularesMuscles

 Sigma KEE - DirectionalSubregionFn
DirectionalSubregionFn

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


(instance DirectionalSubregionFn BinaryFunction) Geography.kif 1952-1952 Directional subregion is an instance of binary function
(domain DirectionalSubregionFn 1 DirectionalAttribute) Geography.kif 1953-1953 The number 1 argument of directional subregion is an instance of directional attribute
(domain DirectionalSubregionFn 2 GeographicArea) Geography.kif 1954-1954 The number 2 argument of directional subregion is an instance of geographic area
(range DirectionalSubregionFn GeographicArea) Geography.kif 1955-1955 The range of directional subregion is an instance of geographic area
(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 1957-1967 The range of directional subregion is an instance of geographic area

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


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

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


(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))		 Geography.kif 1969-1974 If X is an instance of directional attribute, Y is an instance of geographic area, and the directional subregion of X and Y is an instance of geographic area, then the directional subregion of X and Y is a geographic subregion of Y
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))		 Geography.kif 1976-1981 If X is an instance of directional attribute, Y is an instance of geographic area, and the directional subregion of X and Y is an instance of geographic area, then the directional subregion of X and Y is X to the geographic center of Y

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


(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))		 Geography.kif 1969-1974 If X is an instance of directional attribute, Y is an instance of geographic area, and the directional subregion of X and Y is an instance of geographic area, then the directional subregion of X and Y is a geographic subregion of Y
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))		 Geography.kif 1976-1981 If X is an instance of directional attribute, Y is an instance of geographic area, and the directional subregion of X and Y is an instance of geographic area, then the directional subregion of X and Y is X to the geographic center of Y

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners