Polyhedron - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Polyhedron

Polyhedron(polyhedron)

appearance as argument number 1

(documentation Polyhedron EnglishLanguage "In geometry, a Polyhedron is a ThreeDimensionalFigure with flat polygonal faces, straight edges and sharp corners or vertices.[Wikipedia]")	Mid-level-ontology.kif 5298-5299
(subclass Polyhedron ThreeDimensionalFigure)	Mid-level-ontology.kif 5297-5297	Polyhedron is a subclass of three dimensional figure

appearance as argument number 2

(instance Cube Polyhedron)	Mid-level-ontology.kif 5401-5401	Cube is an instance of polyhedron
(instance Pyramid Polyhedron)	Mid-level-ontology.kif 5357-5357	Pyramid is an instance of polyhedron
(termFormat EnglishLanguage Polyhedron "polyhedron")	Mid-level-ontology.kif 5300-5300	Pyramid is an instance of polyhedron

antecedent

(=> (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
(=> (instance ?P Polyhedron) (exists (?F) (and (faceOfFigure ?F ?P) (geometricPart ?F ?P))))	Mid-level-ontology.kif 5334-5339	If a geometric figure is an instance of polyhedron, then there exists a two dimensional figure such that the two dimensional figure is the face of Figure the geometric figure and the geometric figure is a geometric part of the two dimensional figure
(=> (instance ?P Polyhedron) (greaterThanOrEqualTo (CardinalityFn (KappaFn ?F (faceOfFigure ?F ?P))) 4))	Mid-level-ontology.kif 5317-5322	If an entity is an instance of polyhedron, then the number of instances in the class described by a symbolic string is greater than or equal to 4

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