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
pointOfIntersection
Sigma KEE - pointOfIntersection
pointOfIntersection
appearance as argument number 1
(
documentation
pointOfIntersection
ChineseLanguage
"(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT)的意思是两条直线 ?FIGURE1 和 ?FIGURE2 在 ?POINT 点相遇。")
chinese_format.kif 3990-3990
(
documentation
pointOfIntersection
EnglishLanguage
"(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT) means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT.")
Merge.kif 17843-17844
(
domain
pointOfIntersection
1
OneDimensionalFigure
)
Merge.kif 17840-17840
pointOfIntersection
の数値 1 引数は
OneDimensionalFigure
の
instance
では %n
(
domain
pointOfIntersection
2
OneDimensionalFigure
)
Merge.kif 17841-17841
pointOfIntersection
の数値 2 引数は
OneDimensionalFigure
の
instance
では %n
(
domain
pointOfIntersection
3
GeometricPoint
)
Merge.kif 17842-17842
pointOfIntersection
の数値 3 引数は
GeometricPoint
の
instance
では %n
(
instance
pointOfIntersection
TernaryPredicate
)
Merge.kif 17839-17839
pointOfIntersection
は
3進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
pointOfIntersection
"%1 %n 是 对于 %3 的 交接点 %2 ")
domainEnglishFormat.kif 1975-1975
(
format
ChineseTraditionalLanguage
pointOfIntersection
"%1 %n 是 對於 %3 的 交接點 %2 ")
domainEnglishFormat.kif 1974-1974
(
format
EnglishLanguage
pointOfIntersection
"%1 is %n point of intersection %2 for %3")
domainEnglishFormat.kif 1973-1973
(
termFormat
ChineseLanguage
pointOfIntersection
"交点")
domainEnglishFormat.kif 46362-46362
(
termFormat
ChineseTraditionalLanguage
pointOfIntersection
"交點")
domainEnglishFormat.kif 46361-46361
(
termFormat
EnglishLanguage
pointOfIntersection
"point of intersection")
domainEnglishFormat.kif 46360-46360
antecedent
(=>
(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT)
(
and
(
pointOfFigure
?POINT ?FIGURE1)
(
pointOfFigure
?POINT ?FIGURE2)))
Merge.kif 17846-17850
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
の
vertex
は
OneDimensionalFigure
では %n
GeometricPoint
の
vertex
は
OneDimensionalFigure
では %n
consequent
(=>
(
and
(
attribute
?X ?SHAPE)
(
instance
?X
FourPosterBed
)
(
instance
?SHAPE
Quadrilateral
)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR ?CORNER1 ?CORNER)
(
and
(
part
?POST ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?X ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
)
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER1)
(
attribute
?CORNER ?CORNER1)
(
meetsSpatially
?CORNER ?POST))))
Mid-level-ontology.kif 4078-4095
GeometricFigure
は
オブジェクト
の
attribute
では %n
オブジェクト
は
FourPosterBed
の
instance
では %n
GeometricFigure
は
Quadrilateral
の
instance
では %n
GeometricFigure
の
size
は
OneDimensionalFigure
では %n
GeometricFigure
の
size
は
OneDimensionalFigure
では %n
OneDimensionalFigure
は
OneDimensionalFigure
と
equal
では
オブジェクト
オブジェクト
,
GeometricPoint
and
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Floor
の
instance
では %n
オブジェクト
は
On
対
オブジェクト
では %n
オブジェクト
は
Vertical
対
オブジェクト
では %n
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
parallel
?LINE1 ?LINE2)
(
not
(
exists
(?POINT)
(
pointOfIntersection
?LINE1 ?LINE2 ?POINT))))
Merge.kif 17859-17863
parallel
OneDimensionalFigure
and
OneDimensionalFigure
GeometricPoint
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
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