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 引数は
オブジェクト
の
instance
では %n
(
domain
LineFn
2
Object
)
ComputingBrands.kif 2625-2625
ライン
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
LineFn
BinaryFunction
)
ComputingBrands.kif 2616-2616
ライン
は
2変数関数
の
instance
では %n
(
range
LineFn
Object
)
ComputingBrands.kif 2626-2626
ライン
の
range
は
オブジェクト
のインスタンス では %n
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
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
オブジェクト
間のライン と
equal
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Outside
対
自己接続オブジェクト
では %n
(=>
(
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
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
オブジェクト
間のライン と
equal
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Inside
対
自己接続オブジェクト
では %n
(=>
(
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
オブジェクト
は
オブジェクト
と
オブジェクト
間のライン と
equal
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
2 は
オブジェクト
と
オブジェクト
間のライン と
equal
では %n
オブジェクト
2 は
オブジェクト
の
part
では %n
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