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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rug
Rug
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5346-5346
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11769-11769
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11770-11770
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11773-11773
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10236-10236
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11772-11772
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5345-5345 Rug e' uma sub-classe de Tecido

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25842-25842 PrayerMat e' uma sub-classe de Rug
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50594-50594
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50593-50593
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50592-50592

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5348-5356


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