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 806-808
(domain InnerBoundaryFn 1 Region) Geography.kif 803-803 内部边界 的 1 数量 是 地区instance
(instance InnerBoundaryFn UnaryFunction) Geography.kif 802-802 内部边界一元函数instance
(range InnerBoundaryFn Region) Geography.kif 804-804 内部边界range地区 的实例

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


(format ChineseLanguage InnerBoundaryFn "%1 的 inner 边界") domainEnglishFormat.kif 1349-1349
(format ChineseTraditionalLanguage InnerBoundaryFn "%1 的 inner 邊界") domainEnglishFormat.kif 1348-1348
(format EnglishLanguage InnerBoundaryFn "the inner boundary of %1") domainEnglishFormat.kif 1347-1347
(termFormat ChineseLanguage InnerBoundaryFn "内部边界") domainEnglishFormat.kif 30192-30192
(termFormat ChineseTraditionalLanguage InnerBoundaryFn "內部邊界") domainEnglishFormat.kif 30191-30191
(termFormat EnglishLanguage InnerBoundaryFn "inner boundary") domainEnglishFormat.kif 30190-30190

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 844-857

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


(=>
    (instance ?AREA UniformPerimeterArea)
    (exists (?WIDTH)
        (distance
            (InnerBoundaryFn ?AREA)
            (OuterBoundaryFn ?AREA) ?WIDTH)))
Geography.kif 832-835
(=>
    (instance ?REGION Region)
    (superficialPart
        (InnerBoundaryFn ?REGION) ?REGION))
Geography.kif 810-812


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 3.0 is open source software produced by Articulate Software and its partners