| appearance as argument number 1 |
|
| (documentation LineFn ChineseLanguage "Function 传回两个类似点物件之间的线。") | ComputingBrands.kif 2588-2588 | |
| (documentation LineFn ChineseTraditionalLanguage "Function 傳回兩個類似點物件之間的線。") | ComputingBrands.kif 2587-2587 | |
| (documentation LineFn EnglishLanguage "A Function that returns a line drawn between two point-like objects.") | ComputingBrands.kif 2585-2586 | |
| (documentation LineFn JapaneseLanguage "2つの点状のオブジェクト間で描かれたラインを返す ＆％Function。") | ComputingBrands.kif 2589-2590 | |
| (domain LineFn 1 Object) | ComputingBrands.kif 2592-2592 | |
| (domain LineFn 2 Object) | ComputingBrands.kif 2593-2593 | |
| (instance LineFn BinaryFunction) | ComputingBrands.kif 2584-2584 | |
| (range LineFn Object) | ComputingBrands.kif 2594-2594 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage LineFn "%1 和 %2 之间线路") | ComputingBrands.kif 2601-2601 | |
| (format ChineseTraditionalLanguage LineFn "%1 和 %2 之間線路") | ComputingBrands.kif 2600-2600 | |
| (format EnglishLanguage LineFn "the line between %1 and %2") | ComputingBrands.kif 2599-2599 | |
| (format JapaneseLanguage LineFn "%1 と %2 間のライン") | ComputingBrands.kif 2602-2602 | |
| (termFormat ChineseLanguage LineFn "线路") | ComputingBrands.kif 2597-2597 | |
| (termFormat ChineseTraditionalLanguage LineFn "線路") | ComputingBrands.kif 2596-2596 | |
| (termFormat EnglishLanguage LineFn "line") | ComputingBrands.kif 2595-2595 | |
| (termFormat JapaneseLanguage LineFn "ライン") | ComputingBrands.kif 2598-2598 |
| 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 2661-2672 | |
| (=> (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 2633-2644 | |
| (=> (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 2604-2612 |
|
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