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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rug

 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 5341-5341
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 5340-5340 Rug est une sous-classe de textile

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25887-25887 PrayerMat est une sous-classe de Rug
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50596-50596
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50595-50595
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50594-50594

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


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


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