LongBlack - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LongBlack

LongBlack(long black)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1418-1420
No TPTP formula. May not be expressible in strict first order.	Food.kif 1417-1417	Long black is a subclass of coffee

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Food.kif 1421-1421

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1440-1450	If an object is an instance of long black and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of potable water and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance, then the approximate value of the real number is 0.06 and the approximate value of the other real number is 0.12
No TPTP formula. May not be expressible in strict first order.	Food.kif 1423-1427	If a corpuscular object is an instance of long black, then the corpuscular object is made of espresso and the corpuscular object is made of potable water
No TPTP formula. May not be expressible in strict first order.	Food.kif 1429-1439	If an entity is an instance of long black, then there exist a process, an object and another entity such that the process is an instance of pouring and the object is a patient of the process and the object is an instance of potable water and hot is an attribute of the object and the process ends up at the other entity and the other entity is an instance of espresso and the entity is a result of the process

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