consequent

(=>     (and         (instance ?H Human)         (holdsDuring ?T1             (age ?H                 (MeasureFn ?N YearDuration)))         (lessThanOrEqualTo ?N 14))     (holdsDuring ?T1         (instance ?H HumanChild)))	Mid-level-ontology.kif 294-301	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 14, then X is an instance of human child holds during Z
(=>     (instance ?P PlayArea)     (hasPurpose ?P         (exists (?K ?REC)             (and                 (instance ?REC RecreationOrExercise)                 (eventLocated ?REC ?P)                 (instance ?K HumanChild)                 (agent ?REC ?K)))))	Dining.kif 990-998	If X is an instance of playground, then X has the purpose there exist Y, Z such that Z is an instance of recreation or exercise, Z is located at X, Y is an instance of human child, and Y is an agent of Z
(=>     (attribute ?X ChildrenSuite)     (hasPurpose ?X         (exists (?CHILD)             (and                 (instance ?CHILD HumanChild)                 (stays ?CHILD ?X)))))	Hotel.kif 1037-1043	If children's suite is an attribute of X, then X has the purpose there exists Y such that Y is an instance of human child and Y stays at X
(=>     (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
(=>     (and         (instance ?POLICY ChildrenPolicy)         (policyOwner ?AGENT ?POLICY)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsFormula ?POLICY             (modalAttribute                 (exists (?CUST1)                     (and                         (customer ?CUST1 ?AGENT)                         (instance ?CUST1 HumanChild))) Possibility))         (containsFormula ?POLICY             (not                 (modalAttribute                     (exists (?CUST2)                         (and                             (customer ?CUST2 ?AGENT)                             (instance ?CUST2 HumanChild))) Possibility)))))	Hotel.kif 2553-2571	If X is an instance of children policy, Y enacts policy X, and X covers Z, then X contains the formula the statement there exists W such that Y is a customer of W and W is an instance of human child has the modal force of possibility or X contains the formula the statement there doesn't exist V such that Y is a customer of V and V is an instance of human child doesn't have the modal force of possibility
(=>     (and         (instance ?POLICY NoChildrenPolicy)         (policyLocationCoverage ?POLICY ?LOC)         (policyOwner ?AGENT ?POLICY))     (deprivesNorm ?AGENT Permission         (exists (?CHILD)             (and                 (instance ?CHILD HumanChild)                 (located ?CHILD ?LOC)))))	Hotel.kif 2644-2653	If X is an instance of no children allowed, X covers Y, and Z enacts policy X, then Z deprives norm permission for there exists W such that W is an instance of human child and W is located at Y
(=>     (and         (numberChildOccupant ?RESERVE ?NUM)         (fulfillingEntity ?HOTEL ?RESERVE))     (exists (?COL ?SUBCOL)         (and             (instance ?COL GroupOfPeople)             (subCollection ?SUBCOL ?COL)             (instance ?SUBCOL GroupOfPeople)             (memberType ?SUBCOL HumanChild)             (memberCount ?SUBCOL ?NUM)             (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2921-2932	If X may have Y children and Z fulfills X, then All of the following hold: (1) there exist W (2) V such that W is an instance of group of people (3) V is a proper sub-collection of W (4) V is an instance of group of people (5) human child is a member type of V (6) Y is a member count of V (7) W is a potential customer for Z
(=>     (instance ?P Pedialyte)     (hasPurpose ?P         (exists (?C ?D ?V ?DR)             (and                 (instance ?C HumanChild)                 (instance ?D Diarrhea)                 (instance ?V Vomiting)                 (or                     (and                         (experiencer ?D ?C)                         (earlier                             (WhenFn ?D)                             (WhenFn ?DR)))                     (and                         (experiencer ?V ?C)                         (earlier                             (WhenFn ?V)                             (WhenFn ?DR))))                 (instance ?DR Drinking)                 (agent ?DR ?C)                 (objectTransferred ?DR ?P)))))	Medicine.kif 4837-4854	If X is an instance of Pedialyte, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of human child (3) Z is an instance of diarrhea (4) W is an instance of vomiting (5) Y experiences Z (6) the time of existence of Z happens earlier than the time of existence of V or Y experiences W (7) the time of existence of W happens earlier than the time of existence of V (8) V is an instance of drinking (9) Y is an agent of V (10) the object transferred in V is X

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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners