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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OuterBoundaryFn
OuterBoundaryFn

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


(documentation OuterBoundaryFn EnglishLanguage "(OuterBoundaryFn ?REGION) denotes the outer boundary of the Region ?REGION, where ?REGION has an inner and outer orientation with respect to another object.") Geography.kif 803-805
(domain OuterBoundaryFn 1 Region) Geography.kif 800-800 domain OuterBoundaryFn, 1 and 地域
(instance OuterBoundaryFn UnaryFunction) Geography.kif 799-799 instance OuterBoundaryFn and 1変数関数
(range OuterBoundaryFn Region) Geography.kif 801-801 range OuterBoundaryFn and 地域

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


(format EnglishLanguage OuterBoundaryFn "the outer boundary of %1") domainEnglishFormat.kif 478-478
(termFormat EnglishLanguage OuterBoundaryFn "outer boundary") domainEnglishFormat.kif 7698-7698 termFormat EnglishLanguage, OuterBoundaryFn and "outer boundary"

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


(=>
    (and
        (instance ?ZONE UniformPerimeterArea)
        (part ?INNER
            (InnerBoundaryFn ?ZONE)))
    (exists (?OUTER)
        (and
            (part ?OUTER
                (OuterBoundaryFn ?ZONE))
            (distance ?INNER ?OUTER ?WIDTH))))
Geography.kif 829-836
(=>
    (instance ?AREA UniformPerimeterArea)
    (exists (?WIDTH)
        (distance
            (InnerBoundaryFn ?AREA)
            (OuterBoundaryFn ?AREA) ?WIDTH)))
Geography.kif 817-820
(=>
    (instance ?REGION Region)
    (superficialPart
        (OuterBoundaryFn ?REGION) ?REGION))
Geography.kif 807-809


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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