Quadrilateral - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Quadrilateral EnglishLanguage "Any four-sided Polygon.")	Mid-level-ontology.kif 5535-5535
(externalImage Quadrilateral "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d4/ Square_diagonals.svg/ 250px_Square_diagonals.svg.png")	pictureList.kif 1222-1222
(subclass Quadrilateral Polygon)	Mid-level-ontology.kif 5534-5534	Quadrilateral is a subclass of Polygon

appearance as argument number 2

(instance Rectangle Quadrilateral)	Mid-level-ontology.kif 5544-5544	Rectangle is an instance of Quadrilateral
(termFormat ChineseLanguage Quadrilateral "四边形")	domainEnglishFormat.kif 48285-48285	Rectangle is an instance of Quadrilateral
(termFormat ChineseTraditionalLanguage Quadrilateral "四邊形")	domainEnglishFormat.kif 48284-48284	Rectangle is an instance of Quadrilateral
(termFormat EnglishLanguage Quadrilateral "quadrilateral")	domainEnglishFormat.kif 48283-48283	Rectangle is an instance of Quadrilateral

antecedent

(=> (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 4521-4538	If a GeometricFigure is an attribute of an object and the object is an instance of FourPosterBed and the GeometricFigure is an instance of Quadrilateral and the size of the GeometricFigure is an OneDimensionalFigure and the size of the GeometricFigure is another OneDimensionalFigure and equal the OneDimensionalFigure and the other OneDimensionalFigure, then there exist another object, a third object,, , a GeometricPoint and a fourth object such that the other object is a part of the object 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 and pointOfIntersection the OneDimensionalFigure, the other OneDimensionalFigure and the GeometricPoint and the GeometricPoint is an attribute of the fourth object and the fourth object meets the other object
(=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4))	Mid-level-ontology.kif 5537-5542	If an entity is an instance of Quadrilateral, then equal the number of instances in the class described by a symbolic string and 4

consequent

(=>
    (instance ?X FourPosterBed)
    (exists (?SHAPE)
        (and
            (attribute ?X ?SHAPE)
            (instance ?SHAPE Quadrilateral))))

Mid-level-ontology.kif 4514-4519

If an object is an instance of FourPosterBed,
then there exists an attribute such that the attribute is an attribute of the object and the attribute is an instance of Quadrilateral

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

KB Term:			Term intersection

English Word: