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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7237-7238
(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 7235-7235 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 7240-7242 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 7249-7251 A real number ounce(s) is equal to the real number and 8 cup(s)


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