Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - OneDimensionalFigure
OneDimensionalFigure(one dimensional figure)ascender, descender, dotted_line, graduation, isometric, isometric_line, line, linear, one-dimensional

appearance as argument number 1
-------------------------


(subclass OneDimensionalFigure GeometricFigure) Merge.kif 18148-18148 One dimensional figure is a subclass of geometric figure
(documentation OneDimensionalFigure EnglishLanguage "The class of GeometricFigures that have position and an extension along a single dimension, viz. straight lines.") Merge.kif 18149-18150 One dimensional figure is a subclass of geometric figure

appearance as argument number 2
-------------------------


(instance StraightLine OneDimensionalFigure) Merge.kif 18211-18211 Straight line is an instance of one dimensional figure
(instance CircularArc OneDimensionalFigure) Mid-level-ontology.kif 5797-5797 Circular arc is an instance of one dimensional figure
(termFormat EnglishLanguage OneDimensionalFigure "one dimensional figure") domainEnglishFormat.kif 42125-42125 Circular arc is an instance of one dimensional figure
(termFormat ChineseTraditionalLanguage OneDimensionalFigure "一維圖") domainEnglishFormat.kif 42126-42126 Circular arc is an instance of one dimensional figure
(termFormat ChineseLanguage OneDimensionalFigure "一维图") domainEnglishFormat.kif 42127-42127 Circular arc is an instance of one dimensional figure

appearance as argument number 3
-------------------------


(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 18138-18138 Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure
(domain pointOfIntersection 1 OneDimensionalFigure) Merge.kif 18197-18197 The number 1 argument of point of intersection is an instance of one dimensional figure
(domain pointOfIntersection 2 OneDimensionalFigure) Merge.kif 18198-18198 The number 2 argument of point of intersection is an instance of one dimensional figure
(domain lineMeasure 1 OneDimensionalFigure) Merge.kif 18306-18306 The number 1 argument of line measure is an instance of one dimensional figure
(domain sideOfIntersection 3 OneDimensionalFigure) Mid-level-ontology.kif 5499-5499 The number 3 argument of side of intersection is an instance of one dimensional figure
(domain sideOfFigure 1 OneDimensionalFigure) Mid-level-ontology.kif 6074-6074 The number 1 argument of side of figure is an instance of one dimensional figure


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners