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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RearWindow
RearWindow(rear window)
rear_window

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


(documentation RearWindow EnglishLanguage "Any VehicleWindow which is located at the back of an RoadVehicle.") Mid-level-ontology.kif 14646-14647
(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 14645-14645 Rear window is a subclass of vehicle window

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


(disjoint Windshield RearWindow) Mid-level-ontology.kif 3406-3406 Windshield is disjoint from rear window
(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 14649-14654


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