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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rug
Rug(rug)
more pictures...		mat

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5347-5347
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 5346-5346 Rug is a subclass of fabric

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25854-25854 Prayer mat is a subclass of 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 5349-5357


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