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
-------------------------


(documentation Cup ChineseLanguage "这是英制量度容量的单位,它等于1/2 Pint。") chinese_format.kif 2597-2597
(documentation Cup EnglishLanguage "English unit of volume equal to 1/2 of a Pint.") Merge.kif 7236-7237
(documentation Cup JapaneseLanguage "英国のボリュームの単位は Pint の1/2に等しい。") japanese_format.kif 1308-1308
(externalImage Cup "http://upload.wikimedia.org/wikipedia/commons/2/27/Simple_Measuring_Cup.jpg") pictureList.kif 9965-9965
(externalImage Cup "http://upload.wikimedia.org/wikipedia/commons/6/63/LA2-NSRW-5-0199.jpg") pictureList.kif 10767-10767
(instance Cup UnitOfVolume) Merge.kif 7234-7234 Cup is an instance of unit of volume

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


(termFormat ChineseLanguage Cup "杯子") domainEnglishFormat.kif 18024-18024
(termFormat ChineseTraditionalLanguage Cup "杯子") domainEnglishFormat.kif 18023-18023
(termFormat EnglishLanguage Cup "cup") domainEnglishFormat.kif 18022-18022

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


(equal
    (MeasureFn ?NUMBER Cup)
    (MeasureFn
        (DivisionFn ?NUMBER 2) Pint))
Merge.kif 7239-7241 A real number cup(s) is equal to the real number and 2 pint(s)
(equal
    (MeasureFn ?NUMBER Ounce)
    (MeasureFn
        (DivisionFn ?NUMBER 8) Cup))
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