TreeView Knowledge Base Browser - Transparent

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Transparent

Transparent(transparent)

more pictures...

clear, crystal_clear, crystalline, limpid, lucid, pellucid, transparent

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15120-15121
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12050-12050
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12051-12051
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12048-12048
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12046-12046
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12049-12049
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10306-10306
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12045-12045
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15118-15118	Transparent is an instance of visual attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58976-58976
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58975-58975
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58974-58974

antecedent

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

Mid-level-ontology.kif 15123-15132

If transparent is an attribute of an object,
then the statement there exist an entity, another entity and a third entity such that the entity is an instance of seeing and the other entity is an agent of the entity and the entity ends up at the third entity and the other entity is between the object and the third entity has the modal force of possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1110-1112	If an object is an instance of transparency, then transparent is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15185-15187	If an object is an instance of window, then transparent is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26743-26749	If an object is an instance of solarium, then there exists another object such that the other object is an instance of wall and the other object is a part of the object and transparent is an attribute of the other 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