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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LineFn
LineFn

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


(documentation LineFn ChineseLanguage "Function 传回两个类似点物件之间的线。") ComputingBrands.kif 2589-2589
(documentation LineFn ChineseTraditionalLanguage "Function 傳回兩個類似點物件之間的線。") ComputingBrands.kif 2588-2588
(documentation LineFn EnglishLanguage "A Function that returns a line drawn between two point-like objects.") ComputingBrands.kif 2586-2587
(documentation LineFn JapaneseLanguage "2つの点状のオブジェクト間で描かれたラインを返す &%Function。") ComputingBrands.kif 2590-2591
(domain LineFn 1 Object) ComputingBrands.kif 2593-2593 The number 1 argument of line is an instance of object
(domain LineFn 2 Object) ComputingBrands.kif 2594-2594 The number 2 argument of line is an instance of object
(instance LineFn BinaryFunction) ComputingBrands.kif 2585-2585 Line is an instance of binary function
(range LineFn Object) ComputingBrands.kif 2595-2595 The range of line is an instance of object

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


(format ChineseLanguage LineFn "%1 和 %2 之间线路") ComputingBrands.kif 2602-2602
(format ChineseTraditionalLanguage LineFn "%1 和 %2 之間線路") ComputingBrands.kif 2601-2601
(format EnglishLanguage LineFn "the line between %1 and %2") ComputingBrands.kif 2600-2600
(format JapaneseLanguage LineFn "%1 と %2 間のライン") ComputingBrands.kif 2603-2603
(termFormat ChineseLanguage LineFn "线路") ComputingBrands.kif 2598-2598 "线路" is the printable form of line in ChineseLanguage
(termFormat ChineseTraditionalLanguage LineFn "線路") ComputingBrands.kif 2597-2597 "線路" is the printable form of line in ChineseTraditionalLanguage
(termFormat EnglishLanguage LineFn "line") ComputingBrands.kif 2596-2596 "line" is the printable form of line in english language
(termFormat JapaneseLanguage LineFn "ライン") ComputingBrands.kif 2599-2599 "ライン" is the printable form of line in japanese language

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 2666-2677
(=>
    (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 2634-2645
(=>
    (and
        (equal ?L
            (LineFn ?P1 ?P2))
        (part ?OP1 ?L)
        (part ?OP2 ?L)
        (not
            (equal ?OP1 ?OP2))
        (equal ?L2
            (LineFn ?OP1 ?OP2)))
    (part ?L2 ?L))
ComputingBrands.kif 2605-2613


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