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


KB Term:  Term intersection
English Word: 

Sigma KEE - Quart
Quart(quart)dry_quart, quart

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


(instance Quart UnitOfVolume) Merge.kif 7354-7354 Quart is an instance of unit of volume
(documentation Quart EnglishLanguage "English unit of volume equal to 1/ 4 of a UnitedStatesGallon.") Merge.kif 7356-7357 Quart is an instance of unit of volume

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


(termFormat EnglishLanguage Quart "quart") domainEnglishFormat.kif 48289-48289
(termFormat ChineseTraditionalLanguage Quart "夸脫") domainEnglishFormat.kif 48290-48290
(termFormat ChineseLanguage Quart "夸脱") domainEnglishFormat.kif 48291-48291

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


(equal
    (MeasureFn ?NUMBER Quart)
    (MeasureFn
        (DivisionFn ?NUMBER 4) UnitedStatesGallon))
Merge.kif 7359-7361 equal X quart(s) and X and 4 united states gallon(s)
(equal
    (MeasureFn ?NUMBER Pint)
    (MeasureFn
        (DivisionFn ?NUMBER 2) Quart))
Merge.kif 7368-7370 equal X pint(s) and X and 2 quart(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