consequent

((s__instance(V__G, s__Garden) & s__plantInArea(s__Plant, V__G)) => s__hasPurpose(V__G, ( ? [V__R] : ((s__instance(V__R, s__RecreationOrExercise) & s__eventLocated(V__R, V__G))))))	Mid-level-ontology.kif 9316-9324	If a cultivated land area is an instance of garden and plant Located in the cultivated land area., then the cultivated land area has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the cultivated land area
((s__instance(V__ORG, s__Organization) & s__attribute(V__ORG, s__ScenicAndSightseeingTransportation)) => ( ? [V__EV:$i, V__MEM:$i] : ((s__member(V__MEM, V__ORG) & s__agent(V__MEM, V__EV) & ( ? [V__P] : ((s__instance(V__EV, s__Selling) & s__instance(V__P, s__Human) & s__patient(V__EV, V__P) & s__confersRight(( ? [V__TRANS, V__VEH] : ((s__instance(V__TRANS, s__Transportation) & s__instance(V__TRANS, s__RecreationOrExercise) & s__patient(V__TRANS, V__P) & s__possesses(V__ORG, V__VEH) & s__instance(V__VEH, s__Vehicle)))), V__MEM, V__P))))))))	naics.kif 8528-8549	If a collection is an instance of organization and scenic and sightseeing transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the entity is an instance of recreation or exercise and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of vehicle
((s__instance(V__T, s__Ticket) & s__possesses(V__T, V__CUST) & s__issuedBy(V__T, V__ORG) & s__attribute(V__ORG, s__AmusementGamblingAndRecreationIndustries) & s__located(V__ORG, V__LOC)) => s__confersNorm(V__ORG, ( ? [V__REC:$i] : ((s__instance(V__REC, s__RecreationOrExercise) & s__experiencer(V__REC, V__CUST) & s__eventLocated(V__REC, V__LOC)))), s__Permission))	naics.kif 11456-11468	If an agent is an instance of ticket and the agent possesses an object and a cognitive agent is an issued by of the agent and amusement gambling and recreation industries is an attribute of the cognitive agent and the cognitive agent is located at another object, then the cognitive agent confers norm there exists an entity such that the entity is an instance of recreation or exercise and the object experiences the entity and the entity is located at the other object for permission
((s__restingBreathingRate(V__H, V__R) & s__instance(V__L, s__Lung) & s__part(V__L, V__H)) => ( ? [V__T] : ((~(( ? [V__REC] : ((s__instance(V__REC, s__RecreationOrExercise) & s__agent(V__REC, V__H) & s__during(V__T, s__WhenFn(V__REC)))))) & s__instance(V__T, s__Minute) & s__breathingRate(V__H, V__T, V__R)))))	Medicine.kif 330-345	If the resting breathing rate of a mammal is an integer and an object is an instance of lung and the object is a part of the mammal, then there exists a time interval such that there doesn't exist the integerEC such that the integerEC is an instance of recreation or exercise and the mammal is an agent of the integerEC and the time interval takes place during the time of existence of the integerEC and the time interval is an instance of minute and the mammal breathes at a rate of the integer breaths per the time interval
! [V__R : $int,V__H : $i,V__HEART : $i] : (((s__restingHeartRate(V__H, V__R) & s__instance(V__HEART, s__Heart) & s__part(V__HEART, V__H)) => ( ? [V__T:$i] : ((~(( ? [V__REC:$i] : ((s__instance(V__REC, s__RecreationOrExercise) & s__agent(V__REC, V__H) & s__during(V__T, s__WhenFn(V__REC)))))) & s__instance(V__T, s__Minute) & s__heartRate(V__H, V__T, V__R))))))	Medicine.kif 122-136	If the resting heart rate of a mammal is an integer and the mammalEART is an instance of heart and the mammalEART is a part of the mammal, then there exists a time interval such that there doesn't exist the integerEC such that the integerEC is an instance of recreation or exercise and the mammal is an agent of the integerEC and the time interval takes place during the time of existence of the integerEC and the time interval is an instance of minute and the mammal beats at a rate of the integer beats per the time interval
! [V__P : $i,V__A : $i,V__T : $i] : ((s__holdsDuring(V__T, s__attribute(V__P, s__PostExertionalMalaise)) => ( ? [V__R:$i] : ((s__instance(V__R, s__RecreationOrExercise) & s__agent(V__R, V__A) & s__earlier(s__WhenFn(V__R), V__T))))))	Medicine.kif 1461-1469	If PEM is an attribute of an entity holds during a time interval, then there exists a process such that the process is an instance of recreation or exercise and an agent is an agent of the process and the time of existence of the process happens earlier than the time interval
! [V__BUILDING : $i] : ((s__instance(V__BUILDING, s__EntertainmentBuilding) => s__hasPurpose(V__BUILDING, ( ? [V__REC:$i] : ((s__instance(V__REC, s__RecreationOrExercise) & s__eventLocated(V__REC, V__BUILDING)))))))	Mid-level-ontology.kif 24026-24032	If a physical is an instance of entertainment building, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the physical
! [V__C : $i] : ((s__instance(V__C, s__CruiseShip) => s__hasPurpose(V__C, ( ? [V__E:$i, V__A:$i, V__O:$i] : ((s__instance(V__E, s__RecreationOrExercise) & s__possesses(V__O, V__C) & s__agent(V__E, V__A) & s__customer(V__O, V__A) & s__eventLocated(V__E, V__C)))))))	Transportation.kif 2664-2673	If a physical is an instance of cruise ship, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of recreation or exercise and the third entity possesses the physical and the other entity is an agent of the entity and the other entity is a customer of the third entity and the entity is located at the physical
(s__instance(V__D, s__RecreationOrExerciseDevice) => s__hasPurpose(V__D, ( ? [V__E] : ((s__instance(V__E, s__RecreationOrExercise) & s__instrument(V__E, V__D))))))	Mid-level-ontology.kif 2840-2846	If a physical is an instance of recreation or exercise device, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the physical is an instrument for the entity
! [V__G : $i] : ((s__instance(V__G, s__MiniatureGolf) => s__hasPurpose(V__G, ( ? [V__REC:$i] : ((s__instance(V__REC, s__RecreationOrExercise) & s__eventLocated(V__REC, V__G)))))))	Sports.kif 1041-1047	If a physical is an instance of miniature golf, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the physical
! [V__P : $i] : ((s__instance(V__P, s__PlayArea) => s__hasPurpose(V__P, ( ? [V__K:$i, V__REC:$i] : ((s__instance(V__REC, s__RecreationOrExercise) & s__eventLocated(V__REC, V__P) & s__instance(V__K, s__HumanChild) & s__agent(V__REC, V__K)))))))	Dining.kif 987-995	If a physical is an instance of playground, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of recreation or exercise and the other entity is located at the physical and the entity is an instance of human child and the entity is an agent of the other entity
! [V__PARK : $i] : ((s__instance(V__PARK, s__Park) => s__hasPurpose(V__PARK, ( ? [V__REC:$i] : ((s__instance(V__REC, s__RecreationOrExercise) & s__eventLocated(V__REC, V__PARK)))))))	Mid-level-ontology.kif 9270-9276	If a physical is an instance of park, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at 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