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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14366-14367
(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 14365-14365

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 14369-14374


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