antecedent

(=>     (and         (instance ?X Bed)         (component ?BEDFRAME ?X)         (instance ?BEDFRAME BedFrame)         (component ?MATTRESS ?X)         (instance ?MATTRESS Mattress))     (orientation ?MATTRESS ?BEDFRAME On))	Mid-level-ontology.kif 4497-4504	If a corpuscular object is an instance of bed and another corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of bed frame and a third corpuscular object is a component of the corpuscular object and the third corpuscular object is an instance of mattress, then the third corpuscular object is on to the other corpuscular object
(=>     (instance ?X Mattress)     (exists (?BED)         (and             (instance ?BED Bed)             (component ?X ?BED))))	Mid-level-ontology.kif 4477-4482	If a corpuscular object is an instance of mattress, then there exists another corpuscular object such that the other corpuscular object is an instance of bed and the corpuscular object is a component of the other corpuscular object
(=>     (instance ?X Mattress)     (hasPurpose ?X         (exists (?PERSON)             (and                 (attribute ?PERSON Asleep)                 (orientation ?PERSON ?X On)))))	Mid-level-ontology.kif 4484-4490	If a physical is an instance of mattress, then the physical has the purpose there exists an entity such that asleep is an attribute of the entity and the entity is on to the physical

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