LineFn - Sigma Knowledge base Browser

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 2620-2620
(documentation LineFn ChineseTraditionalLanguage "Function 傳回兩個類似點物件之間的線。")	ComputingBrands.kif 2619-2619
(documentation LineFn EnglishLanguage "A Function that returns a line drawn between two point-like objects.")	ComputingBrands.kif 2617-2618
(documentation LineFn JapaneseLanguage "2つの点状のオブジェクト間で描かれたラインを返す＆％Function。")	ComputingBrands.kif 2621-2622
(domain LineFn 1 Object)	ComputingBrands.kif 2624-2624	The number 1 argument of line is an instance of object
(domain LineFn 2 Object)	ComputingBrands.kif 2625-2625	The number 2 argument of line is an instance of object
(instance LineFn BinaryFunction)	ComputingBrands.kif 2616-2616	Line is an instance of binary function
(range LineFn Object)	ComputingBrands.kif 2626-2626	The range of line is an instance of object

appearance as argument number 2

(format ChineseLanguage LineFn "%1 和 %2 之间线路")	ComputingBrands.kif 2633-2633
(format ChineseTraditionalLanguage LineFn "%1 和 %2 之間線路")	ComputingBrands.kif 2632-2632
(format EnglishLanguage LineFn "the line between %1 and %2")	ComputingBrands.kif 2631-2631
(format JapaneseLanguage LineFn "%1 と %2 間のライン")	ComputingBrands.kif 2634-2634
(termFormat ChineseLanguage LineFn "线路")	ComputingBrands.kif 2629-2629
(termFormat ChineseTraditionalLanguage LineFn "線路")	ComputingBrands.kif 2628-2628
(termFormat EnglishLanguage LineFn "line")	ComputingBrands.kif 2627-2627
(termFormat JapaneseLanguage LineFn "ライン")	ComputingBrands.kif 2630-2630

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
(=> (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 2665-2676	If convex 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 inside to the self connected object
(=> (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 2636-2644	If an object is equal to the line between another object and a third object and a fourth object is a part of the object and a fifth object is a part of the object and the fourth object is not equal to the fifth object and the object2 is equal to the line between the fourth object and the fifth object, then the object2 is a part 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