Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Floor
Floor(floor)
floor, flooring

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Floor "floor") domainEnglishFormat.kif 4463-4463 "floor" is the printable form of floor in english language

antecedent
-------------------------


(=>
    (instance ?FLOOR Floor)
    (exists (?ARTIFACT)
        (and
            (part ?FLOOR ?ARTIFACT)
            (instance ?ARTIFACT Room))))
Mid-level-ontology.kif 13012-13017

consequent
-------------------------


(=>
    (instance ?F Furniture)
    (hasPurpose ?F
        (exists (?FL)
            (and
                (instance ?FL Floor)
                (meetsSpatially ?F ?FL)))))
Mid-level-ontology.kif 4233-4239
(=>
    (instance ?R Rug)
    (hasPurpose ?R
        (exists (?C)
            (and
                (instance ?C Covering)
                (instrument ?C ?R)
                (patient ?C ?F)
                (instance ?F Floor)))))
Mid-level-ontology.kif 5594-5602
(=>
    (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 2497-2506
(=>
    (instance ?X FourPosterBed)
    (exists (?SHAPE)
        (and
            (attribute ?X ?SHAPE)
            (instance ?SHAPE Quadrilateral)
            (forall (?CORNER)
                (=>
                    (and
                        (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER)
                        (sideOfFigure ?SIDE1 ?SHAPE)
                        (sideOfFigure ?SIDE2 ?SHAPE)
                        (not
                            (equal ?SIDE1 ?SIDE2)))
                    (exists (?POST ?FLOOR)
                        (and
                            (meetsSpatially ?CORNER ?POST)
                            (instance ?POST Artifact)
                            (instance ?FLOOR Floor)
                            (orientation ?BED ?FLOOR On)
                            (orientation ?POST ?FLOOR Vertical))))))))
Mid-level-ontology.kif 4550-4569


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners