antecedent

(=>     (and         (instance ?R Ruler)         (instance ?M Measuring)         (instrument ?M ?R)         (patient ?M ?O)         (length ?O             (MeasureFn ?N Meter)))     (lessThan ?N 10.0))	Mid-level-ontology.kif 33814-33822	If an object is an instance of Ruler and a process is an instance of measuring and the object is an instrument for the process and a physical is a patient of the process and the length of the physical is a real number Meter(s), then the real number is less than 10.0
(=>     (instance ?R Ruler)     (attribute ?R Rigid))	Mid-level-ontology.kif 33810-33812	If an object is an instance of Ruler, then Rigid is an attribute of the object
(=>     (instance ?R Ruler)     (hasPurpose ?R         (exists (?D ?M)             (and                 (instance ?D LinearExtent)                 (instance ?M Measuring)                 (result ?M ?D)                 (instrument ?M ?R)))))	Mid-level-ontology.kif 33800-33808	If a physical is an instance of Ruler, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of LinearExtent and the other entity is an instance of measuring and the entity is a result of the other entity and the physical is an instrument for the other entity

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