TreeView Knowledge Base Browser - RearWindow

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RearWindow

RearWindow(rear window)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15202-15203
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5075-5075
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4939-4939
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5074-5074
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15201-15201	Rear window is a subclass of vehicle window

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3454-3454	Windshield is disjoint from rear window
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48938-48938
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48937-48937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48936-48936

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 15205-15210

If an object is an instance of rear window,
then there exists a self connected object such that the self connected object is an instance of road vehicle and the object is a part of the back of the self connected object

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