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
(instance InnerBoundaryFn UnaryFunction) Geography.kif 787-787
(range InnerBoundaryFn Region) Geography.kif 789-789

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

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