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 810-812
(domain OuterBoundaryFn 1 Region) Geography.kif 807-807 The number 1 argument of outer boundary is an instance of region
(instance OuterBoundaryFn UnaryFunction) Geography.kif 806-806 Outer boundary is an instance of unary function
(range OuterBoundaryFn Region) Geography.kif 808-808 The range of outer boundary is an instance of region

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


(format ChineseLanguage OuterBoundaryFn "%1 的 outer 边界") domainEnglishFormat.kif 1879-1879
(format ChineseTraditionalLanguage OuterBoundaryFn "%1 的 outer 邊界") domainEnglishFormat.kif 1878-1878
(format EnglishLanguage OuterBoundaryFn "the outer boundary of %1") domainEnglishFormat.kif 1877-1877
(termFormat ChineseLanguage OuterBoundaryFn "外边界") domainEnglishFormat.kif 43567-43567
(termFormat ChineseTraditionalLanguage OuterBoundaryFn "外邊界") domainEnglishFormat.kif 43566-43566
(termFormat EnglishLanguage OuterBoundaryFn "outer boundary") domainEnglishFormat.kif 43565-43565

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


(=>
    (and
        (instance ?ZONE UniformPerimeterArea)
        (part ?INNER1
            (InnerBoundaryFn ?ZONE))
        (part ?OUTER1
            (OuterBoundaryFn ?ZONE))
        (distance ?INNER1 ?OUTER1 ?WIDTH1)
        (part ?INNER2
            (InnerBoundaryFn ?ZONE))
        (part ?OUTER2
            (OuterBoundaryFn ?ZONE))
        (distance ?INNER2 ?OUTER2 ?WIDTH2))
    (equal ?WIDTH1 ?WIDTH2))
Geography.kif 836-849

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


(=>
    (instance ?AREA UniformPerimeterArea)
    (exists (?WIDTH)
        (distance
            (InnerBoundaryFn ?AREA)
            (OuterBoundaryFn ?AREA) ?WIDTH)))
Geography.kif 824-827
(=>
    (instance ?REGION Region)
    (superficialPart
        (OuterBoundaryFn ?REGION) ?REGION))
Geography.kif 814-816


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