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 15322-15323
(externalImage Floor "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Floor.agr.jpg") pictureList.kif 95-95
(subclass Floor StationaryArtifact) Mid-level-ontology.kif 15321-15321 地板固定人工制品subclass

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


(termFormat ChineseLanguage Floor "地板") domainEnglishFormat.kif 24248-24248
(termFormat ChineseTraditionalLanguage Floor "地板") domainEnglishFormat.kif 24247-24247
(termFormat EnglishLanguage Floor "floor") domainEnglishFormat.kif 24246-24246

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


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

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 4078-4095
(=>
    (instance ?F Furniture)
    (hasPurpose ?F
        (exists (?FL)
            (and
                (instance ?FL Floor)
                (meetsSpatially ?F ?FL)))))
Mid-level-ontology.kif 3698-3704
(=>
    (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 5349-5357
(=>
    (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 2037-2046


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