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
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 object
2 is
equal
to the line between
the fourth object
and
the fifth object
,
then
the object
2 is a
part
of
the 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