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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cup
Cup

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 7013-7014
(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 7011-7011

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 7016-7018
(equal
    (MeasureFn ?NUMBER Ounce)
    (MeasureFn
        (DivisionFn ?NUMBER 8) Cup))
Merge.kif 7025-7027


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