TreeView Knowledge Base Browser - WindowCovering

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WindowCovering

WindowCovering(window covering)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15213-15215
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9839-9839
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9841-9841
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9840-9840
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9837-9837
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9838-9838
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8803-8803
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9834-9834
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9836-9836
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15212-15212	Window covering is a subclass of artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15166-15166	Curtain is a subclass of window covering
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63123-63123
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63122-63122
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63121-63121

antecedent

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

Mid-level-ontology.kif 15217-15225

If a physical is an instance of window covering,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of covering and the other entity is a patient of the entity and the other entity is an instance of window and the physical is an instrument for the entity

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