TreeView Knowledge Base Browser

appearance as argument number 2

(instance Rectangle Quadrilateral)	Mid-level-ontology.kif 5697-5697	Rectangle is an instance of quadrilateral
(termFormat EnglishLanguage Quadrilateral "quadrilateral")	domainEnglishFormat.kif 48277-48277	Rectangle is an instance of quadrilateral
(termFormat ChineseTraditionalLanguage Quadrilateral "四邊形")	domainEnglishFormat.kif 48278-48278	Rectangle is an instance of quadrilateral
(termFormat ChineseLanguage Quadrilateral "四边形")	domainEnglishFormat.kif 48279-48279	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 4724-4741	If All of the following hold: (1) X is an attribute of Y (2) Y is an instance of four-poster bed (3) X is an instance of quadrilateral (4) the size of X is Z (5) the size of X is W (6) equal Z and W, then All of the following hold: (1) there exist V, U,, , T (2) S such that V is a part of Y (3) U is an instance of floor (4) Y is on to U (5) V is vertical to to U (6) Z is point of intersection W for T (7) T is an attribute of S (8) S meets V
(=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4))	Mid-level-ontology.kif 5690-5695	If X is an instance of quadrilateral, then equal the number of instances in the class described by Y and 4

consequent

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

If X is an instance of four-poster bed, then there exists Y such that Y is an attribute of X and Y is an instance of quadrilateral

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