Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
LineFn
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
域
線路
, 1 and
Object
(
domain
LineFn
2
Object
)
ComputingBrands.kif 2625-2625
域
線路
, 2 and
Object
(
instance
LineFn
BinaryFunction
)
ComputingBrands.kif 2616-2616
例
線路
and
BinaryFunction
(
range
LineFn
Object
)
ComputingBrands.kif 2626-2626
範圍
線路
and
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
attribute
SelfConnectedObject
and
凹
表面
SelfConnectedObject
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
等於
Object
and
Object
和
Object
之間線路
等於
Object
and
Object
部分
Object
and
Object
方位
Object
,
SelfConnectedObject
and
外
(=>
(
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
attribute
SelfConnectedObject
and
凸
表面
SelfConnectedObject
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
等於
Object
and
Object
和
Object
之間線路
等於
Object
and
Object
部分
Object
and
Object
方位
Object
,
SelfConnectedObject
and
內
(=>
(
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
等於
Object
and
Object
和
Object
之間線路
部分
Object
and
Object
部分
Object
and
Object
等於
Object
and
Object
等於
Object
and
Object
和
Object
之間線路
部分
Object
and
Object
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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