Floor - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Floor EnglishLanguage "A StationaryArtifact that is the bottom surface of a Room.")	Mid-level-ontology.kif 15540-15541
(externalImage Floor "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Floor.agr.jpg")	pictureList.kif 95-95
(subclass Floor StationaryArtifact)	Mid-level-ontology.kif 15539-15539	Floor is a subclass of stationary artifact

appearance as argument number 2

(termFormat ChineseLanguage Floor "地板")	domainEnglishFormat.kif 24270-24270
(termFormat ChineseTraditionalLanguage Floor "地板")	domainEnglishFormat.kif 24269-24269
(termFormat EnglishLanguage Floor "floor")	domainEnglishFormat.kif 24268-24268

antecedent

(=>
    (instance ?FLOOR Floor)
    (exists (?ARTIFACT)
        (and
            (part ?FLOOR ?ARTIFACT)
            (instance ?ARTIFACT Room))))

Mid-level-ontology.kif 15543-15548

If an object is an instance of floor,
then there exists another object such that the object is a part of the other object and the other object is an instance of room

consequent

(=> (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 4071-4088	If a geometric figure is an attribute of an object and the object is an instance of four-poster bed and the geometric figure is an instance of quadrilateral and the size of the geometric figure is an one dimensional figure and the size of the geometric figure is another one dimensional figure and the one dimensional figure is not equal to the other one dimensional figure, then there exist another object, a third object,, , a geometric point 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 the one dimensional figure is point of intersection the other one dimensional figure for the geometric point and the geometric point is an attribute of the fourth object and the fourth object meets the other object
(=> (instance ?F Furniture) (hasPurpose ?F (exists (?FL) (and (instance ?FL Floor) (meetsSpatially ?F ?FL)))))	Mid-level-ontology.kif 3691-3697	If a physical is an instance of furniture, then the physical has the purpose there exists the physicalL such that the physicalL is an instance of floor and the physical meets the physicalL
(=> (instance ?R Rug) (hasPurpose ?R (exists (?C ?F) (and (instance ?C Covering) (instrument ?C ?R) (patient ?C ?F) (instance ?F Floor)))))	Mid-level-ontology.kif 5343-5351	If a physical is an instance of rug, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of covering and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of floor
(=> (instance ?SHOWER Shower) (exists (?X ?FLOOR) (and (or (instance ?X Wall) (instance ?X Ceiling)) (connected ?SHOWER ?X) (instance ?FLOOR Floor) (orientation ?SHOWER ?FLOOR Above))))	Mid-level-ontology.kif 2030-2039	If an object is an instance of shower, then there exist another object and a third object such that the other object is an instance of wall or the other object is an instance of ceiling and the object is connected to the other object and the third object is an instance of floor and the object is above to the third object

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: