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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Convex
Convex(凸)

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


(documentation Convex ChineseLanguage "ShapeAttribute 近似个数学概念, 一条画在物件表面上的任何两点之间的线苗素该物件之外廓。") ComputingBrands.kif 2464-2465
(documentation Convex ChineseLanguage "ShapeAttribute 近似个数学概念, 一条画在物件表面上的任何两点之间的线苗素该物件之内廓。") ComputingBrands.kif 2496-2497
(documentation Convex ChineseTraditionalLanguage "ShapeAttribute 近似個數學概念, 一條畫在物件表面上的任何兩點之間的線苗素該物件之内廓。") ComputingBrands.kif 2493-2494
(documentation Convex ChineseTraditionalLanguage "ShapeAttribute 近似個數學概念, 一條畫在物件表面上的任何兩點之間的線苗素該物件之外廓。") ComputingBrands.kif 2461-2462
(documentation Convex EnglishLanguage "A ShapeAttribute that approximates the mathematical ideal that a line drawn from any two points on the surface of the object will be interior to the object.") ComputingBrands.kif 2489-2491
(documentation Convex JapaneseLanguage "オブジェクトの表面上の任意の2点から描かれた線がオブ ジェクトの外部にある、と数学的理想値と概算するShapeAttribute。") ComputingBrands.kif 2467-2468
(documentation Convex JapaneseLanguage "オブジェクトの表面上の任意の2点から描かれた線がオブジェ クトの外部にある、と数学的理想値と概算するShapeAttribute。") ComputingBrands.kif 2499-2500
(instance Convex ShapeAttribute) ComputingBrands.kif 2456-2456 instance and ShapeAttribute

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


(termFormat ChineseLanguage Convex "凸") ComputingBrands.kif 2472-2472 termFormat ChineseLanguage, and "凸"
(termFormat ChineseTraditionalLanguage Convex "凸") ComputingBrands.kif 2471-2471 termFormat ChineseTraditionalLanguage, and "凸"
(termFormat EnglishLanguage Convex "convex") ComputingBrands.kif 2470-2470 termFormat EnglishLanguage, and "convex"
(termFormat JapaneseLanguage Convex "凸") ComputingBrands.kif 2473-2473 termFormat JapaneseLanguage, and "凸"

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


(=>
    (and
        (attribute ?O Convex)
        (surface ?O ?S)
        (part ?P1 ?S)
        (part ?P2 ?S)
        (equal ?L
            (LineFn ?P1 ?P2))
        (not
            (equal ?P1 ?P2))
        (part ?PL ?L))
    (orientation ?PL ?O Inside))
ComputingBrands.kif 2475-2486

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


(=>
    (attribute ?M MaleConnector)
    (shape ?M Convex))
ComputingBrands.kif 2596-2598


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