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 7146-7147
(externalImage Cup "http://upload.wikimedia.org/wikipedia/commons/2/27/Simple_Measuring_Cup.jpg") pictureList.kif 9973-9973
(externalImage Cup "http://upload.wikimedia.org/wikipedia/commons/6/63/LA2-NSRW-5-0199.jpg") pictureList.kif 10777-10777
(instance Cup UnitOfVolume) Merge.kif 7144-7144 Cup is an instance of UnitOfVolume

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


(termFormat ChineseLanguage Cup "杯子") domainEnglishFormat.kif 18015-18015
(termFormat ChineseTraditionalLanguage Cup "杯子") domainEnglishFormat.kif 18014-18014
(termFormat EnglishLanguage Cup "cup") domainEnglishFormat.kif 18013-18013

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


(equal
    (MeasureFn ?NUMBER Cup)
    (MeasureFn
        (DivisionFn ?NUMBER 2) Pint))
Merge.kif 7149-7151 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 7158-7160 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