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 2430-2430
(documentation LineFn ChineseTraditionalLanguage "Function 傳回兩個類似點物件之間的線。") ComputingBrands.kif 2429-2429
(documentation LineFn EnglishLanguage "A Function that returns a line drawn between two point-like objects.") ComputingBrands.kif 2427-2428
(documentation LineFn JapaneseLanguage "2つの点状のオブジェクト間で描かれたラインを返す &%Function。") ComputingBrands.kif 2431-2432
(domain LineFn 1 Object) ComputingBrands.kif 2434-2434
(domain LineFn 2 Object) ComputingBrands.kif 2435-2435
(instance LineFn BinaryFunction) ComputingBrands.kif 2426-2426
(range LineFn Object) ComputingBrands.kif 2436-2436

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


(format ChineseLanguage LineFn "%1 和 %2 之间线路") ComputingBrands.kif 2443-2443
(format ChineseTraditionalLanguage LineFn "%1 和 %2 之間線路") ComputingBrands.kif 2442-2442
(format EnglishLanguage LineFn "the line between %1 and %2") ComputingBrands.kif 2441-2441
(format JapaneseLanguage LineFn "%1 と %2 間のライン") ComputingBrands.kif 2444-2444
(termFormat ChineseLanguage LineFn "线路") ComputingBrands.kif 2439-2439
(termFormat ChineseTraditionalLanguage LineFn "線路") ComputingBrands.kif 2438-2438
(termFormat EnglishLanguage LineFn "line") ComputingBrands.kif 2437-2437
(termFormat JapaneseLanguage LineFn "ライン") ComputingBrands.kif 2440-2440

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 ?P))
    (orientation ?PL ?O Inside))
ComputingBrands.kif 2507-2518
(=>
    (and
        (attribute ?O Convex)
        (surface ?O ?S)
        (part ?P1 ?S)
        (part ?P2 ?S)
        (equal ?L
            (LineFn ?P1 ?P2))
        (not
            (equal ?P1 ?P2))
        (part ?PL ?P))
    (orientation ?PL ?O Outside))
ComputingBrands.kif 2475-2486
(=>
    (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 2446-2454


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