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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pint
Pint(pint)dry_pint, pint

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2596-2596
No TPTP formula. May not be expressible in strict first order. Merge.kif 7227-7228
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1307-1307
No TPTP formula. May not be expressible in strict first order. Merge.kif 7225-7225 Pint is an instance of unit of volume

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45894-45894
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45893-45893
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45892-45892

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7239-7241 A real number cup(s) is equal to the real number and 2 pint(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7230-7232 A real number pint(s) is equal to the real number 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 is open source software produced by Articulate Software and its partners