antecedent

(=>     (and         (instance ?A Americano)         (part ?E ?A)         (part ?W ?A)         (instance ?E Espresso)         (instance ?W DrinkingWater)         (measure ?W             (MeasureFn 90.0 CelsiusDegree))         (mixtureRatio ?E ?W ?V1 ?V2 Liter))     (and         (approximateValue ?V1 0.03)         (approximateValue ?V2 0.15)))	Food.kif 1322-1333	If an object is an instance of Americano 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 DrinkingWater and the measure of the other substance is 90.0 CelsiusDegree(s) and mixtureRatio the substance, the other substance, a real number, another real number and Liter, then approximateValue the real number and 0.03 and approximateValue the other real number and 0.15
(=>     (instance ?A Americano)     (exists (?P ?W ?E)         (and             (instance ?P Pouring)             (patient ?P ?W)             (instance ?W DrinkingWater)             (measure ?W                 (MeasureFn 90 CelsiusDegree))             (destination ?P ?E)             (instance ?E Espresso)             (result ?P ?A))))	Food.kif 1311-1321	If an entity is an instance of Americano, then there exist a process, a physical and another entity such that the process is an instance of Pouring and the physical is a patient of the process and the physical is an instance of DrinkingWater and the measure of the physical is 90 CelsiusDegree(s) 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