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

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15148-15149
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 15146-15146	Transparent est une instance de attribut visuel

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 15151-15160

Transparent est un attribut de objet
l'argument entit� entit� and entit� entit� est une instance de voir entit� est un agent de entit� entit� aboutit � entit� entit� est entre objet et entit� a la force modale de Possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1110-1112	Objet est une instance de Transparency Transparent est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15213-15215	Objet est une instance de Window Transparent est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26788-26794	Objet est une instance de Solarium objet objet est une instance de Wall objet est une partie de objet Transparent est un attribut de objet

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