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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InnerBoundaryFn
InnerBoundaryFn

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


(documentation InnerBoundaryFn EnglishLanguage "(InnerBoundaryFn ?REGION) denotes the inner boundary of the Region ?REGION, where ?REGION has an inner and outer orientation with respect to another object.") Geography.kif 791-793
(domain InnerBoundaryFn 1 Region) Geography.kif 788-788 domain InnerBoundaryFn, 1 and 地域
(instance InnerBoundaryFn UnaryFunction) Geography.kif 787-787 instance InnerBoundaryFn and 1変数関数
(range InnerBoundaryFn Region) Geography.kif 789-789 range InnerBoundaryFn and 地域

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


(format EnglishLanguage InnerBoundaryFn "the inner boundary of %1") domainEnglishFormat.kif 345-345
(termFormat EnglishLanguage InnerBoundaryFn "inner boundary") domainEnglishFormat.kif 5451-5451 termFormat EnglishLanguage, InnerBoundaryFn and "inner boundary"

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


(=>
    (and
        (instance ?ZONE UniformPerimeterArea)
        (part ?INNER
            (InnerBoundaryFn ?ZONE)))
    (exists (?OUTER)
        (and
            (part ?OUTER
                (OuterBoundaryFn ?ZONE))
            (distance ?INNER ?OUTER ?WIDTH))))
Geography.kif 829-836

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


(=>
    (instance ?AREA UniformPerimeterArea)
    (exists (?WIDTH)
        (distance
            (InnerBoundaryFn ?AREA)
            (OuterBoundaryFn ?AREA) ?WIDTH)))
Geography.kif 817-820
(=>
    (instance ?REGION Region)
    (superficialPart
        (InnerBoundaryFn ?REGION) ?REGION))
Geography.kif 795-797


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