consequent

(=>     (and         (instance ?H Human)         (holdsDuring ?T1             (age ?H                 (MeasureFn ?N YearDuration)))         (lessThanOrEqualTo ?N 1))     (holdsDuring ?T1         (instance ?H HumanBaby)))	Mid-level-ontology.kif 375-380	If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is less than or equal to 1, then X is an instance of human baby holds during Z
(=>     (instance ?X Crib)     (hasPurpose ?X         (exists (?BABY)             (and                 (instance ?BABY HumanBaby)                 (attribute ?BABY Asleep)                 (located ?BABY ?X)))))	Mid-level-ontology.kif 4590-4597	If X is an instance of crib, then X has the purpose there exists Y such that Y is an instance of human baby, asleep is an attribute of Y, and Y is located at X
(=>     (instance ?X BabyMonitoringSystem)     (exists (?TX ?RX)         (and             (instance ?RX RadioReceiver)             (instance ?TX Device)             (engineeringSubcomponent ?RX ?X)             (engineeringSubcomponent ?TX ?X)             (hasPurpose ?X                 (exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO)                     (and                         (instance ?BABY HumanBaby)                         (instance ?CARER Human)                         (located ?BABY ?LOC1)                         (located ?CARER ?LOC2)                         (not                             (equal ?LOC1 ?LOC2))                         (instance ?PROC Maintaining)                         (patient ?PROC ?BABY)                         (agent ?PROC ?CARER)                         (located ?TX ?LOC1)                         (located ?RX ?LOC2)                         (instance ?SOUND RadiatingSound)                         (eventLocated ?SOUND ?LOC1)                         (instance ?RADIO RadioEmission)                         (patient ?RADIO ?SOUND)                         (destination ?RADIO ?RX)                         (agent ?RADIO ?TX)))))))	Communications.kif 244-270	If X is an instance of baby monitor, then All of the following hold: (1) there exist Y (2) Z such that Z is an instance of radio receiver (3) Y is an instance of device (4) Z is a component of X (5) Y is a component of X (6) X has the purpose there exist W, V,, , U,, , T,, , S,, , R (7) Q such that W is an instance of human baby (8) V is an instance of human (9) W is located at T (10) V is located at S (11) equal T (12) S (13) R is an instance of maintaining (14) W is a patient of R (15) V is an agent of R (16) Y is located at T (17) Z is located at S (18) U is an instance of radiating sound (19) U is located at T (20) Q is an instance of radio emission (21) U is a patient of Q (22) Q ends up at Z (23) Y is an agent of Q
(=>     (instance ?SVC ChildCareService)     (exists (?CHILD ?SITTER)         (and             (or                 (instance ?CHILD HumanChild)                 (instance ?CHILD HumanBaby))             (serviceProvider ?SVC ?SITTER)             (patient ?SVC ?CHILD)             (not                 (parent ?CHILD ?SITTER)))))	Hotel.kif 1889-1898	If X is an instance of child-care service, then there exist Y, Z such that Y is an instance of human child or Y is an instance of human baby, Z provides a service during X, Y is a patient of X, and Z is not a parent of Y

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners