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
Le nombre 1 argument de
LineFn
est une
instance
de
objet
(
domain
LineFn
2
Object
)
ComputingBrands.kif 2625-2625
Le nombre 2 argument de
LineFn
est une
instance
de
objet
(
instance
LineFn
BinaryFunction
)
ComputingBrands.kif 2616-2616
LineFn
est une
instance
de
fonction binaire
(
range
LineFn
Object
)
ComputingBrands.kif 2626-2626
Le
domaine
de
LineFn
est une instance de
objet
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
Concave
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
LineFn
objet
and
objet
objet
est
objet
objet
est une
partie
de
objet
objet
est
Outside
�
objet en une partie
(=>
(
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
Convex
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
LineFn
objet
and
objet
objet
est
objet
objet
est une
partie
de
objet
objet
est
Inside
�
objet en une partie
(=>
(
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
Objet
est
LineFn
objet
and
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est
objet
objet
2 est
LineFn
objet
and
objet
objet
2 est une
partie
de
objet
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