TreeView Knowledge Base Browser - sideOfFigure

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - sideOfFigure

sideOfFigure

appearance as argument number 1

(documentation sideOfFigure EnglishLanguage "(sideOfFigure ?SIDE ?FIGURE) means that the OneDimensionalFigure ?POINT is a side of the GeometricFigure ?FIGURE.")	Mid-level-ontology.kif 5285-5286
(domain sideOfFigure 1 OneDimensionalFigure)	Mid-level-ontology.kif 5283-5283	The number 1 argument of side of figure is an instance of one dimensional figure
(domain sideOfFigure 2 GeometricFigure)	Mid-level-ontology.kif 5284-5284	The number 2 argument of side of figure is an instance of geometric figure
(instance sideOfFigure BinaryPredicate)	Mid-level-ontology.kif 5282-5282	side of figure is an instance of binary predicate
(subrelation sideOfFigure geometricPart)	Mid-level-ontology.kif 5281-5281	side of figure is a subrelation of geometric part

appearance as argument number 2

(format ChineseLanguage sideOfFigure "%2 的 side %n 是 %1")	chinese_format.kif 788-788
(format EnglishLanguage sideOfFigure "%2 の size は %1 では %n")	english_format.kif 794-794
(format EnglishLanguage sideOfFigure "the size of %2 is %n %1")	english_format.kif 793-793
(termFormat ChineseLanguage sideOfFigure "图形的边")	chinese_format.kif 789-789
(termFormat ChineseLanguage sideOfFigure "图的一面")	domainEnglishFormat.kif 52843-52843
(termFormat ChineseTraditionalLanguage sideOfFigure "圖的一面")	domainEnglishFormat.kif 52842-52842
(termFormat EnglishLanguage sideOfFigure "side of figure")	domainEnglishFormat.kif 52841-52841

consequent

(=> (instance ?POLYGON Polygon) (=> (geometricPart ?PART ?POLYGON) (or (sideOfFigure ?PART ?POLYGON) (exists (?SIDE) (and (sideOfFigure ?SIDE ?POLYGON) (geometricPart ?PART ?SIDE))))))	Mid-level-ontology.kif 5192-5201	If a geometric figure is an instance of polygon, then if the geometric figure is a geometric part of an one dimensional figure, then the geometric figure の size は the one dimensional figure では %n or there exists another one dimensional figure such that the geometric figure の size は the other one dimensional figure では %n and the other one dimensional figure is a geometric part of the one dimensional figure
(=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4))	Mid-level-ontology.kif 5223-5225	If an entity is an instance of quadrilateral, then the number of instances in the class described by a symbolic string is equal to 4
(=> (instance ?SQUARE Square) (exists (?LENGTH) (forall (?SIDE) (=> (sideOfFigure ?SIDE ?SQUARE) (lineMeasure ?SIDE ?LENGTH)))))	Mid-level-ontology.kif 5240-5246	If a geometric figure is an instance of square, then there exists a length measure such that for all an one dimensional figure if the geometric figure の size は the one dimensional figure では %n, then the length measure is a line measure of the one dimensional figure
(=> (instance ?TRIANGLE Triangle) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?TRIANGLE))) 3))	Mid-level-ontology.kif 5206-5208	If an entity is an instance of triangle, then the number of instances in the class described by a symbolic string is equal to 3
(=> (instance ?X FourPosterBed) (exists (?SHAPE) (and (attribute ?X ?SHAPE) (instance ?SHAPE Quadrilateral) (forall (?CORNER) (=> (and (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR) (and (meetsSpatially ?CORNER ?POST) (instance ?POST Artifact) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical))))))))	Mid-level-ontology.kif 4551-4570	If an object is an instance of four-poster bed, then there exists a geometric figure such that the geometric figure is an attribute of the object and the geometric figure is an instance of quadrilateral and for all a geometric point if an one dimensional figure is point of intersection another one dimensional figure for the geometric point and the geometric figure の size は the one dimensional figure では %n and the geometric figure の size は the other one dimensional figure では %n and the one dimensional figure is not equal to the other one dimensional figure, then there exist another object and a third object such that the geometric point meets the other object and the other object is an instance of artifact and the third object is an instance of floor and the object is on to the third object and the other object is vertical to the third 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners