sideOfIntersection - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - sideOfIntersection

sideOfIntersection

appearance as argument number 1

(documentation sideOfIntersection EnglishLanguage "(sideOfIntersection ?FIGURE1 ?FIGURE2 ?SIDE) means that the two figures ?FIGURE1 ?FIGURE2 meet at the side ?SIDE.")	Mid-level-ontology.kif 5343-5344
(domain sideOfIntersection 1 TwoDimensionalFigure)	Mid-level-ontology.kif 5345-5345	The number 1 argument of side of intersection is an instance of two dimensional figure
(domain sideOfIntersection 2 TwoDimensionalFigure)	Mid-level-ontology.kif 5346-5346	The number 2 argument of side of intersection is an instance of two dimensional figure
(domain sideOfIntersection 3 OneDimensionalFigure)	Mid-level-ontology.kif 5347-5347	The number 3 argument of side of intersection is an instance of one dimensional figure
(instance sideOfIntersection TernaryPredicate)	Mid-level-ontology.kif 5341-5341	side of intersection is an instance of ternary predicate
(relatedInternalConcept sideOfIntersection pointOfIntersection)	Mid-level-ontology.kif 5342-5342	side of intersection is internally related to point of intersection

appearance as argument number 2

(format EnglishLanguage sideOfIntersection "%3 is the intersection %1 and %2")	Mid-level-ontology.kif 5349-5349
(termFormat EnglishLanguage sideOfIntersection "side of intersection")	Mid-level-ontology.kif 5348-5348

antecedent

(=> (and (equal ?S CircleSector) (equal ?A CentralAngle) (angleOfFigure ?A ?S) (equal ?L ClosedLineSegment) (sideOfFigure ?L ?A) (sideOfIntersection ?A ?S ?L) (lineMeasure ?L ?R)) (exists (?AC) (and (equal ?AC CircularArc) (sideOfFigure ?AC ?S) (arcLength ?AC ?R) (angularMeasure ?A (MeasureFn 1 Radian)))))	Mid-level-ontology.kif 5747-5761	If equal a two dimensional figure and circle sector and equal a two dimensional angle and central angle and the two dimensional angle is the angle found in the two dimensional figure and equal an one dimensional figure and closed line segment and the size of the two dimensional angle is the one dimensional figure and the one dimensional figure is the intersection the two dimensional angle and the two dimensional figure and a length measure is a line measure of the one dimensional figure, then there exists the two dimensional angleC such that equal the two dimensional angleC and circular arc and the size of the two dimensional figure is the two dimensional angleC and the length measure is the LengthMeasure of the two dimensional angleC and 1 radian(s) is an angular measure of the two dimensional angle
(=> (and (instance ?PY Pyramid) (instance ?POL Polygon) (faceOfFigure ?POL ?PY) (sideOfFigure ?S ?POL) (instance ?T Triangle) (faceOfFigure ?T ?PY) (sideOfFigure ?S ?T) (sideOfIntersection ?POL ?T ?S)) (equal (CardinalityFn (KappaFn ?S (sideOfFigure ?S ?POL))) (CardinalityFn (KappaFn ?T (faceOfFigure ?T ?PY)))))	Mid-level-ontology.kif 5363-5379	If a geometric figure is an instance of pyramid and a two dimensional figure is an instance of polygon and the two dimensional figure is the face of Figure the geometric figure and the size of the two dimensional figure is an one dimensional figure and a symbolic string is an instance of triangle and the symbolic string is the face of Figure the geometric figure and the size of the symbolic string is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the symbolic string, then equal the number of instances in the class described by the one dimensional figure and the number of instances in the class described by the symbolic string
(=> (sideOfIntersection ?F1 ?F2 ?S) (and (sideOfFigure ?S ?F1) (sideOfFigure ?S ?F2)))	Mid-level-ontology.kif 5351-5355	If an one dimensional figure is the intersection a two dimensional figure and another two dimensional figure, then the size of the two dimensional figure is the one dimensional figure and the size of the other two dimensional figure is the one dimensional figure

consequent

(=> (and (instance ?P Polyhedron) (faceOfFigure ?F1 ?P) (instance ?F1 Polygon) (sideOfFigure ?S ?F1)) (exists (?F2) (and (instance ?F2 Polygon) (faceOfFigure ?F2 ?P) (not (equal ?F1 ?F2)) (sideOfFigure ?S ?F2) (sideOfIntersection ?F1 ?F2 ?S))))	Mid-level-ontology.kif 5302-5315	If a geometric figure is an instance of polyhedron and a two dimensional figure is the face of Figure the geometric figure and the two dimensional figure is an instance of polygon and the size of the two dimensional figure is an one dimensional figure, then there exists another two dimensional figure such that the other two dimensional figure is an instance of polygon and the other two dimensional figure is the face of Figure the geometric figure and equal the two dimensional figure and the other two dimensional figure and the size of the other two dimensional figure is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the other two dimensional figure
(=> (equal ?S CircleSector) (exists (?C ?A) (and (equal ?C Circle) (geometricPart ?S ?C) (equal ?A CircularArc) (geometricPart ?A ?C) (sideOfFigure ?A ?S) (sideOfIntersection ?S ?C ?A))))	Mid-level-ontology.kif 5600-5609	If equal a two dimensional figure and circle sector, then there exist another two dimensional figure and an one dimensional figure such that equal the other two dimensional figure and circle and the other two dimensional figure is a geometric part of the two dimensional figure and equal the one dimensional figure and circular arc and the other two dimensional figure is a geometric part of the one dimensional figure and the size of the two dimensional figure is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the other two 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 is open source software produced by Articulate Software and its partners