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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cup

 Sigma KEE - Cup
Cup(cup)
bumper, cup, cupful, cylix, dipper, drinking_glass, glass, glassful, kylix, water_glass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2597-2597
No TPTP formula. May not be expressible in strict first order. Merge.kif 7236-7237
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1308-1308
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9965-9965
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10767-10767
No TPTP formula. May not be expressible in strict first order. Merge.kif 7234-7234 Cup is an instance of unit of volume

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18024-18024
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18023-18023
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18022-18022

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7239-7241 A real number cup(s) is equal to the real number and 2 pint(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7248-7250 A real number ounce(s) is equal to the real number and 8 cup(s)


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