Concave - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Concave ChineseLanguage "ShapeAttribute 近似个数学概念，一条画在物件表面上的任何两点之间的线苗素该物件之内廓。")	ComputingBrands.kif 2684-2685
(documentation Concave ChineseTraditionalLanguage "ShapeAttribute 近似個數學概念, 一條畫在物件表面上的任何兩點之間的線苗素該物件之内廓。")	ComputingBrands.kif 2682-2683
(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 2679-2681
(documentation Concave JapaneseLanguage "オブジェクトの表面上の任意の2点から描かれた線がオブジェクトの外部にある、と数学的理想値と概算するShapeAttribute。")	ComputingBrands.kif 2686-2687
(instance Concave ShapeAttribute)	ComputingBrands.kif 2678-2678	Concave is an instance of shape attribute

appearance as argument number 2

(termFormat ChineseLanguage Concave "凹")	ComputingBrands.kif 2690-2690
(termFormat ChineseTraditionalLanguage Concave "凹")	ComputingBrands.kif 2689-2689
(termFormat EnglishLanguage Concave "concave")	ComputingBrands.kif 2688-2688
(termFormat JapaneseLanguage Concave "凹")	ComputingBrands.kif 2691-2691

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 2693-2704

If concave is an attribute of a self connected object and the self connected object is a surface of another self connected object and an object is a part of the other self connected object and another object is a part of the other self connected object and a third object is equal to the line between the object and the other object and the object is not equal to the other object and a fourth object is a part of the third object,
then the fourth object is outside to the self connected object

consequent

(=> (attribute ?M FemaleConnector) (shape ?M Concave))	ComputingBrands.kif 2811-2813	If female is an attribute of an object, then the object is concave
(=> (instance ?AREOLE PlantAreole) (attribute ?AREOLE Concave))	Mid-level-ontology.kif 9823-9825	If an object is an instance of plant areole, then concave is an attribute of the object

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

KB Term:			Term intersection

English Word: