Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Pint
Pint(pint)dry_pint, pint

appearance as argument number 1
-------------------------


(instance Pint UnitOfVolume) Merge.kif 7363-7363 Pint is an instance of unit of volume
(documentation Pint EnglishLanguage "English unit of volume equal to 1/2 of a Quart.") Merge.kif 7365-7366 Pint is an instance of unit of volume

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


(termFormat EnglishLanguage Pint "pint") domainEnglishFormat.kif 45887-45887
(termFormat ChineseTraditionalLanguage Pint "品脫") domainEnglishFormat.kif 45888-45888
(termFormat ChineseLanguage Pint "品脱") domainEnglishFormat.kif 45889-45889

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


(equal
    (MeasureFn ?NUMBER Pint)
    (MeasureFn
        (DivisionFn ?NUMBER 2) Quart))		 Merge.kif 7368-7370 equal X pint(s) and X and 2 quart(s)
(equal
    (MeasureFn ?NUMBER Cup)
    (MeasureFn
        (DivisionFn ?NUMBER 2) Pint))		 Merge.kif 7377-7379 equal X cup(s) and X and 2 pint(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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners