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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RearWindow

Sigma KEE - RearWindow
RearWindow

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


(documentation RearWindow EnglishLanguage "Any VehicleWindow which is located at the back of an RoadVehicle.") Mid-level-ontology.kif 14501-14502
(externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Humber_Hawk_Series_III_rear.jpg") pictureList.kif 5076-5076
(externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Austin_A40_MkII_Countryman_rear.jpg") pictureList.kif 4940-4940
(externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Austin_A40_MkII_Countryman_tail.jpg") pictureList.kif 5075-5075
(subclass RearWindow VehicleWindow) Mid-level-ontology.kif 14500-14500

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


(disjoint Windshield RearWindow) Mid-level-ontology.kif 3389-3389
(termFormat ChineseLanguage RearWindow "后窗") domainEnglishFormat.kif 48921-48921
(termFormat ChineseTraditionalLanguage RearWindow "後窗") domainEnglishFormat.kif 48920-48920
(termFormat EnglishLanguage RearWindow "rear window") domainEnglishFormat.kif 48919-48919

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


(=>
    (instance ?W RearWindow)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (BackFn ?A)))))
Mid-level-ontology.kif 14504-14509


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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