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 7246-7247
(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 9964-9964
(externalImage Cup "http://upload.wikimedia.org/wikipedia/commons/6/63/LA2-NSRW-5-0199.jpg") pictureList.kif 10765-10765
(instance Cup UnitOfVolume) Merge.kif 7244-7244 Cup is an instance of unit of volume

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


(termFormat ChineseLanguage Cup "杯子") domainEnglishFormat.kif 18039-18039
(termFormat ChineseTraditionalLanguage Cup "杯子") domainEnglishFormat.kif 18038-18038
(termFormat EnglishLanguage Cup "cup") domainEnglishFormat.kif 18037-18037

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


(equal
    (MeasureFn ?NUMBER Cup)
    (MeasureFn
        (DivisionFn ?NUMBER 2) Pint))		 Merge.kif 7249-7251 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 7258-7260 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