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


KB Term:  Term intersection
English Word: 

Sigma KEE - LineFn
LineFn

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


(instance LineFn BinaryFunction) Mid-level-ontology.kif 28156-28156 Line is an instance of binary function
(documentation LineFn EnglishLanguage "A Function that returns a line drawn between two point_like objects.") Mid-level-ontology.kif 28157-28158 Line is an instance of binary function
(documentation LineFn ChineseTraditionalLanguage "Function 傳回兩個類似點物件之間的線。") Mid-level-ontology.kif 28159-28159 Line is an instance of binary function
(documentation LineFn ChineseLanguage "Function 传回两个类似点物件之间的线。") Mid-level-ontology.kif 28160-28160 Line is an instance of binary function
(documentation LineFn JapaneseLanguage "2つの点状のオブジェクト間で描かれたラインを返す ＆％Function。") Mid-level-ontology.kif 28161-28162 Line is an instance of binary function
(domain LineFn 1 Object) Mid-level-ontology.kif 28164-28164 The number 1 argument of line is an instance of object
(domain LineFn 2 Object) Mid-level-ontology.kif 28165-28165 The number 2 argument of line is an instance of object
(range LineFn Object) Mid-level-ontology.kif 28166-28166 The range of line is an instance of object

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


(termFormat EnglishLanguage LineFn "line") Mid-level-ontology.kif 28167-28167
(termFormat ChineseTraditionalLanguage LineFn "線路") Mid-level-ontology.kif 28168-28168
(termFormat ChineseLanguage LineFn "线路") Mid-level-ontology.kif 28169-28169
(termFormat JapaneseLanguage LineFn "ライン") Mid-level-ontology.kif 28170-28170
(format EnglishLanguage LineFn "the line between %1 and %2") Mid-level-ontology.kif 28171-28171
(format ChineseTraditionalLanguage LineFn "%1 和 %2 之間線路") Mid-level-ontology.kif 28172-28172
(format ChineseLanguage LineFn "%1 和 %2 之间线路") Mid-level-ontology.kif 28173-28173
(format JapaneseLanguage LineFn "%1 と %2 間のライン") Mid-level-ontology.kif 28174-28174

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


(=>
    (and
        (equal ?L
            (LineFn ?P1 ?P2))
        (part ?OP1 ?L)
        (part ?OP2 ?L)
        (not
            (equal ?OP1 ?OP2))
        (equal ?L2
            (LineFn ?OP1 ?OP2)))
    (part ?L2 ?L))		 Mid-level-ontology.kif 28176-28184 If equal X, the line between Y, and Z, W is a part of X, V is a part of X, equal W and V, and equal U, the line between W, and V, then U is a part of X
(=>
    (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))		 Mid-level-ontology.kif 34811-34822 If All of the following hold: (1) convex is an attribute of X (2) X is a surface of Y (3) Z is a part of Y (4) W is a part of Y (5) equal V, the line between Z, and W (6) equal Z and W (7) U is a part of V, then U is inside the to X
(=>
    (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))		 Mid-level-ontology.kif 34839-34850 If All of the following hold: (1) concave is an attribute of X (2) X is a surface of Y (3) Z is a part of Y (4) W is a part of Y (5) equal V, the line between Z, and W (6) equal Z and W (7) U is a part of V, then U is outside of to X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners