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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Concave

Sigma KEE - Concave
Concave

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


(documentation Concave ChineseLanguage "ShapeAttribute 近似个数学概念, 一条画在物件表面上的任何两点之间的线苗素该物件之内廓。") ComputingBrands.kif 2652-2653
(documentation Concave ChineseTraditionalLanguage "ShapeAttribute 近似個數學概念, 一條畫在物件表面上的任何兩點之間的線苗素該物件之内廓。") ComputingBrands.kif 2650-2651
(documentation Concave EnglishLanguage "A ShapeAttribute that approximates the mathematical ideal that a line drawn from any two points on the surface of the object will be exterior to the object.") ComputingBrands.kif 2647-2649
(documentation Concave JapaneseLanguage "オブジェクトの表面上の任意の2点から描かれた線がオブジェ クトの外部にある、と数学的理想値と概算するShapeAttribute。") ComputingBrands.kif 2654-2655
(instance Concave ShapeAttribute) ComputingBrands.kif 2646-2646

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


(termFormat ChineseLanguage Concave "凹") ComputingBrands.kif 2658-2658
(termFormat ChineseTraditionalLanguage Concave "凹") ComputingBrands.kif 2657-2657
(termFormat EnglishLanguage Concave "concave") ComputingBrands.kif 2656-2656
(termFormat JapaneseLanguage Concave "凹") ComputingBrands.kif 2659-2659

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


(=>
    (and
        (attribute ?O Concave)
        (surface ?O ?S)
        (part ?P1 ?S)
        (part ?P2 ?S)
        (equal ?L
            (LineFn ?P1 ?P2))
        (not
            (equal ?P1 ?P2))
        (part ?PL ?L))
    (orientation ?PL ?O Outside))
ComputingBrands.kif 2661-2672

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


(=>
    (attribute ?M FemaleConnector)
    (shape ?M Concave))
ComputingBrands.kif 2779-2781
(=>
    (instance ?AREOLE PlantAreole)
    (attribute ?AREOLE Concave))
Mid-level-ontology.kif 9201-9203


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