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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Floor
Floor

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


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

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


(termFormat ChineseLanguage Floor "地板") domainEnglishFormat.kif 24243-24243
(termFormat ChineseTraditionalLanguage Floor "地板") domainEnglishFormat.kif 24242-24242
(termFormat EnglishLanguage Floor "floor") domainEnglishFormat.kif 24241-24241

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


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

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


(=>
    (instance ?F Furniture)
    (hasPurpose ?F
        (exists (?FL)
            (and
                (instance ?FL Floor)
                (meetsSpatially ?F ?FL)))))
Mid-level-ontology.kif 3631-3637
(=>
    (instance ?R Rug)
    (hasPurpose ?R
        (exists (?C)
            (and
                (instance ?C Covering)
                (instrument ?C ?R)
                (patient ?C ?F)
                (instance ?F Floor)))))
Mid-level-ontology.kif 5016-5024
(=>
    (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 1973-1982
(=>
    (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 3947-3966


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