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 13034-13035
(externalImage Floor "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Floor.agr.jpg") pictureList.kif 95-95
(subclass Floor StationaryArtifact) Mid-level-ontology.kif 13033-13033 Floor is a subclass of stationary artifact

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


(termFormat ChineseLanguage Floor "地板") domainEnglishFormat.kif 24175-24175
(termFormat ChineseTraditionalLanguage Floor "地板") domainEnglishFormat.kif 24174-24174
(termFormat EnglishLanguage Floor "floor") domainEnglishFormat.kif 24173-24173

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


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

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


(=>
    (instance ?F Furniture)
    (hasPurpose ?F
        (exists (?FL)
            (and
                (instance ?FL Floor)
                (meetsSpatially ?F ?FL)))))
Mid-level-ontology.kif 4235-4241
(=>
    (instance ?R Rug)
    (hasPurpose ?R
        (exists (?C)
            (and
                (instance ?C Covering)
                (instrument ?C ?R)
                (patient ?C ?F)
                (instance ?F Floor)))))
Mid-level-ontology.kif 5600-5608
(=>
    (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 2498-2507
(=>
    (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 ?X ?FLOOR On)
                            (orientation ?POST ?FLOOR Vertical))))))))
Mid-level-ontology.kif 4551-4570


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