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


KB Term:  Term intersection
English Word: 

  OuterBoundaryFn

 Sigma KEE - OuterBoundaryFn
OuterBoundaryFn

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


(instance OuterBoundaryFn UnaryFunction) Mid-level-ontology.kif 13726-13726 Outer boundary is an instance of unary function
(domain OuterBoundaryFn 1 Region) Mid-level-ontology.kif 13727-13727 The number 1 argument of outer boundary is an instance of region
(range OuterBoundaryFn Region) Mid-level-ontology.kif 13728-13728 The range of outer boundary is an instance of region
(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.") Mid-level-ontology.kif 13730-13732 The range of outer boundary is an instance of region

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


(format EnglishLanguage OuterBoundaryFn "the outer boundary of %1") domainEnglishFormat.kif 1881-1881
(format ChineseTraditionalLanguage OuterBoundaryFn "%1 的 outer 邊界") domainEnglishFormat.kif 1882-1882
(format ChineseLanguage OuterBoundaryFn "%1 的 outer 边界") domainEnglishFormat.kif 1883-1883
(termFormat EnglishLanguage OuterBoundaryFn "outer boundary") domainEnglishFormat.kif 43673-43673
(termFormat ChineseTraditionalLanguage OuterBoundaryFn "外邊界") domainEnglishFormat.kif 43674-43674
(termFormat ChineseLanguage OuterBoundaryFn "外边界") domainEnglishFormat.kif 43675-43675

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


(=>
    (and
        (instance ?R Region)
        (equal ?R
            (OuterBoundaryFn ?B))
        (instance ?B Eyeball))
    (exists (?C ?S)
        (and
            (part ?C ?R)
            (instance ?C Cornea)
            (part ?S ?R)
            (instance ?S Sclera)
            (meetsSpatially ?C ?S)
            (equal ?C
                (FrontFn ?B)))))		 Mid-level-ontology.kif 13744-13758 If X is an instance of region, equal X and the outer boundary of Y, and Y is an instance of eye ball, then All of the following hold: (1) there exist Z (2) W such that Z is a part of X (3) Z is an instance of cornea (4) W is a part of X (5) W is an instance of sclera (6) Z meets W (7) equal Z (8) the front of Y
(=>
    (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 2295-2308 If All of the following hold: (1) X is an instance of uniform perimeter area (2) Y is a part of the inner boundary of X (3) Z is a part of the outer boundary of X (4) the distance between Y and Z is W (5) V is a part of the inner boundary of X (6) U is a part of the outer boundary of X (7) the distance between V and U is T, then equal W and T

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


(=>
    (instance ?REGION Region)
    (superficialPart
        (OuterBoundaryFn ?REGION) ?REGION))		 Mid-level-ontology.kif 13734-13736 If X is an instance of region, then the outer boundary of X is a superficial part of X
(=>
    (instance ?AREA UniformPerimeterArea)
    (exists (?WIDTH)
        (distance
            (InnerBoundaryFn ?AREA)
            (OuterBoundaryFn ?AREA) ?WIDTH)))		 Geography.kif 2283-2286 If X is an instance of uniform perimeter area, then there exists Y such that the distance between the inner boundary of X and the outer boundary of X is Y


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

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