consequent

(<=>     (modalAttribute ?FORMULA Necessity)     (not         (modalAttribute             (not ?FORMULA) Possibility)))	Merge.kif 17613-17615	The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility
(=>     (and         (attribute ?D DeviceDamaged)         (hasPurpose ?D ?F))     (not         (modalAttribute ?F Possibility)))	Mid-level-ontology.kif 31363-31368	If device damaged is an attribute of an object and the object has the purpose a formula, then the statement the formula doesn't have the modal force of possibility
(=>     (and         (attribute ?D DeviceNormal)         (hasPurpose ?D ?F))     (modalAttribute ?F Possibility))	Mid-level-ontology.kif 31336-31340	If device normal is an attribute of an object and the object has the purpose a formula, then the statement the formula has the modal force of possibility
(=>     (and         (attribute ?H ?D)         (diseaseTreatment ?D ?P)         (instance ?TP TherpeuticProcess)         (agent ?TP ?DOC)         (patient ?TP ?H)         (attribute ?DOC MedicalDoctor))     (modalAttribute         (instance ?TP ?P) Possibility))	Medicine.kif 5837-5847	If a disease or syndrome is an attribute of an object and a kind of therapeutic process is a treatment for the disease or syndrome and a process is an instance of TherpeuticProcess and the disease or syndromeOC is an agent of the process and the object is a patient of the process and medical doctor is an attribute of the disease or syndromeOC, then the statement the process is an instance of a kind of therapeutic process has the modal force of possibility
(=>     (and         (attribute ?X CommunalAttribute)         (instance ?X Table)         (instance ?E1 Eating)         (agent ?E1 ?GRP1)         (instance ?GRP1 GroupOfPeople)         (eventLocated ?E1 ?X))     (modalAttribute         (exists (?GRP2 ?E2 ?X2)             (and                 (instance ?E2 Eating)                 (agent ?E2 ?GRP2)                 (not                     (equal ?GRP1 ?GRP2))                 (instance ?GRP2 GroupOfPeople)                 (eventLocated ?E2 ?X2)                 (meetsTemporally                     (WhenFn ?E1)                     (WhenFn ?E2))                 (equal ?X ?X2))) Possibility))	Dining.kif 1207-1224	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at the object, then the statement there exist an entity, another entity and the object2 such that the other entity is an instance of eating and the entity is an agent of the other entity and equal the agent and the entity and the entity is an instance of group of people and the other entity is located at the object2 and the time of existence of the process meets the time of existence of the other entity and equal the object and the object2 has the modal force of possibility
(=>     (and         (attribute ?X Multilingual)         (instance ?SPEAK Speaking)         (agent ?SPEAK ?X))     (modalAttribute         (exists (?LANG1 ?LANG2)             (and                 (instance ?LANG1 SpokenHumanLanguage)                 (instance ?LANG2 SpokenHumanLanguage)                 (not                     (equal ?LANG1 ?LANG2))                 (or                     (patient ?SPEAK ?LANG1)                     (patient ?SPEAK ?LANG2)))) Possibility))	Mid-level-ontology.kif 27637-27650	If multilingual is an attribute of an agent and a process is an instance of speaking and the agent is an agent of the process, then the statement there exist an entity and another entity such that the entity is an instance of spoken human language and the other entity is an instance of spoken human language and equal the entity and the other entity and the entity is a patient of the process or the other entity is a patient of the process has the modal force of possibility
(=>     (and         (attribute ?X WheelchairAccessible)         (or             (instance ?X Building)             (instance ?X Room)))     (modalAttribute         (exists (?MOTION ?WHEELCHAIR)             (and                 (instance ?MOTION Motion)                 (instrument ?MOTION ?WHEELCHAIR)                 (instance ?WHEELCHAIR Wheelchair)                 (eventLocated ?MOTION ?X))) Possibility))	Mid-level-ontology.kif 28047-28059	If wheelchair accessible is an attribute of an object and the object is an instance of building or the object is an instance of room, then the statement there exist an entity and another entity such that the entity is an instance of motion and the other entity is an instrument for the entity and the other entity is an instance of wheelchair and the entity is located at the object has the modal force of possibility
(=>     (and         (capability ?PROCESS ?ROLE ?OBJ)         (instance ?OBJ Device)         (not             (attribute ?OBJ DeviceDamaged)))     (modalAttribute         (exists (?P)             (and                 (instance ?P ?PROCESS)                 (?ROLE ?P ?OBJ))) Possibility))	Merge.kif 3956-3966	If an object is capable of doing a kind of process as a a case role and the object is an instance of device and device damaged is not an attribute of the object, then the statement there exists an entity such that the entity is an instance of a kind of process and the case role the entity and the object has the modal force of possibility
(=>     (and         (capability ValetParking agent ?AGENT)         (customer ?CUST ?AGENT)         (located ?AGENT ?LOC)         (instance ?D Arriving)         (agent ?D ?CUST)         (patient ?D ?VEHICLE)         (destination ?D ?LOC))     (exists (?VALET)         (and             (occupiesPosition ?VALET Valet ?AGENT)             (modalAttribute                 (exists (?VP ?PARK)                     (and                         (instance ?VP ValetParking)                         (agent ?VP ?VALET)                         (patient ?VP ?VEHICLE)                         (destination ?VP ?PARK)                         (instance ?PARK ParkingRegion))) Possibility))))	TransportDetail.kif 157-176	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then there exists a human such that the human holds the position of valet in the organization and the statement there exist another entity and a third entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at the third entity and the third entity is an instance of parking area has the modal force of possibility
(=>     (and         (customer ?CUST ?AGENT)         (propertyAmenity ?AGENT ?PHYS)         (subclass ?PHYS Process))     (modalAttribute         (exists (?S ?LOC ?PROC)             (and                 (element ?LOC                     (PropertyFn ?AGENT))                 (agent ?S ?AGENT)                 (patient ?S ?CUST)                 (or                     (instance ?S ?PHYS)                     (and                         (instance ?PROC ?PHYS)                         (subProcess ?S ?PROC)))                 (located ?S ?LOC))) Possibility))	Hotel.kif 522-538	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity, another entity and a third entity such that the other entity is an element of belongings of the agent and the agent is an agent of the entity and the cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or the third entity is an instance of the kind of physical and the entity is a subprocess of the third entity and the entity is located at the other entity has the modal force of possibility
(=>     (and         (employs ?HOTEL ?ATHLETE)         (attribute ?HOTEL TravelerAccommodation)         (attribute ?ATHLETE TennisProfessional)         (guest ?CUST ?HOTEL))     (modalAttribute         (exists (?TENNIS ?LOC)             (and                 (instance ?TENNIS Tennis)                 (contestParticipant ?TENNIS ?ATHLETE)                 (contestParticipant ?TENNIS ?CUST)                 (located ?TENNIS ?LOC)                 (located ?HOTEL ?LOC))) Possibility))	Hotel.kif 1533-1546	If an agent employs a cognitive agent and traveler accommodation is an attribute of the agent and tennis pro is an attribute of the cognitive agent and another cognitive agent is a guest at the agent, then the statement there exist an entity and another entity such that the entity is an instance of tennis and the cognitive agent participates in the entity and the other cognitive agent participates in the entity and the entity is located at the other entity and the agent is located at the other entity has the modal force of possibility
(=>     (and         (employs ?ORG ?CO)         (instance ?D DoNetworkMessaging)         (result ?D ?MSG)         (attribute ?MSG NSFW)         (instance ?S Seeing)         (patient ?S ?MSG)         (agent ?S ?CO))     (modalAttribute         (exists (?PROC)             (and                 (causes ?S ?PROC)                 (suffers ?PROC ?CO))) Possibility))	Medicine.kif 3041-3055	If an agent employs a cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and another process is an instance of seeing and the object is a patient of the other process and the cognitive agent is an agent of the other process, then the statement there exists an entity such that the other process causes the entity and the cognitive agent suffers from the entity has the modal force of possibility
(=>     (and         (facility ?AGENT ?OBJ)         (customer ?CUST ?AGENT)         (instance ?X ?OBJ)         (desires ?CUST             (exists (?PROC)                 (and                     (instance ?PROC IntentionalProcess)                     (patient ?PROC ?X)                     (agent ?PROC ?CUST)))))     (modalAttribute         (confersRight             (uses ?X ?CUST) ?AGENT ?CUST) Possibility))	Dining.kif 336-350	If an agent provides an object and the agent is a customer of a cognitive agent and an entity is an instance of the object and the cognitive agent desires there exists another entity such that the other entity is an instance of intentional process and the entity is a patient of the other entity and the cognitive agent is an agent of the other entity, then the statement the agent allows the cognitive agent to perform task of the type the cognitive agent uses the entity has the modal force of possibility
(=>     (and         (functionRoomAmenity ?FR ?PHY)         (instance ?RM ?FR)         (element ?RM             (PropertyFn ?HOTEL))         (instance ?RENT Renting)         (patient ?RENT ?RM)         (agent ?RENT ?HOTEL)         (destination ?RENT ?CUST)         (subclass ?PHY Object))     (modalAttribute         (exists (?O ?P)             (and                 (instance ?O ?PHY)                 (instance ?P Process)                 (or                     (resource ?P ?O)                     (instrument ?P ?O)                     (patient ?P ?O))                 (or                     (agent ?P ?CUST)                     (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 815-836	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
(=>     (and         (governmentType ?PLACE Monarchy)         (instance ?MONARCH Human)         (instance ?SUCCESSOR Human)         (holdsDuring ?T1             (chiefOfState ?PLACE ?ROLE ?MONARCH))         (familyRelation ?MONARCH ?SUCCESSOR)         (earlier ?T1 ?T2))     (modalAttribute         (holdsDuring ?T2             (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) Possibility))	Government.kif 223-234	If monarchy is a government type of an agent and an organism is an instance of human and another organism is an instance of human and the agent chief of state an entity for the organism holds during a time interval and the organism and the other organism are related and the time interval happens earlier than another time interval, then the statement the agent chief of state the entity for the other organism holds during the other time interval has the modal force of possibility
(=>     (and         (hasAccount ?U ?AC)         (password ?P ?AC)         (deviceAccount ?AC ?D)         (not             (knows ?U                 (password ?P ?AC)))         (knows ?U             (recoveryKey ?S ?AC))         (possesses ?U ?D))     (modalAttribute         (exists (?C)             (and                 (instance ?C ChangingPassword)                 (patient ?C ?AC)                 (agent ?C ?U))) Possibility))	ComputingBrands.kif 4422-4439	If a cognitive agent has account an user account and the user account has password a computer password and device account the user account and a computer and the cognitive agent doesn't know the user account has password the computer password and the cognitive agent knows the account the user account has recovery key an entity and the cognitive agent possesses the computer, then the statement there exists another entity such that the other entity is an instance of change password and the user account is a patient of the other entity and the cognitive agent is an agent of the other entity has the modal force of possibility
(=>     (and         (instance ?A Anaphylaxis)         (experiencer ?A ?H))     (modalAttribute         (exists (?D)             (and                 (instance ?D Death)                 (experiencer ?D ?H)                 (causes ?A ?D))) Possibility))	Medicine.kif 1538-1548	If a process is an instance of anaphylaxis and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of death and the agent experiences the entity and the process causes the entity has the modal force of possibility
(=>     (and         (instance ?BS1 BodySegment)         (instance ?BS2 BodySegment)         (connected ?BS1 ?BS2)         (instance ?BM BodyMotion)         (moves ?BM ?BS1))     (modalAttribute         (not             (exists (?BM2)                 (and                     (instance ?BM2 BodyMotion)                     (moves ?BM2 ?BS2)                     (during                         (WhenFn ?BM2)                         (WhenFn ?BM))))) Possibility))	Mid-level-ontology.kif 11902-11918	If an object is an instance of body segment and another object is an instance of body segment and the object is connected to the other object and a motion is an instance of body motion and the object moves during the motion, then the statement there doesn't exist the motion2 such that the motion2 is an instance of body motion and the other object moves during the motion2 and the time of existence of the motion2 takes place during the time of existence of the motion has the modal force of possibility
(=>     (and         (instance ?C Carabiner)         (holdsDuring ?T             (attribute ?C DeviceClosed)))     (holdsDuring ?T         (modalAttribute             (exists (?R)                 (and                     (instance ?R ClimbingRope)                     (contains ?C ?R))) Possibility)))	Mid-level-ontology.kif 32737-32748	If an entity is an instance of karabiner and device closed is an attribute of the entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of climbing rope and the entity contains the other entity has the modal force of possibility holds during the time position
(=>     (and         (instance ?G Substance)         (attribute ?G OxidizingSubstance))     (exists (?R)         (and             (instance ?R Releasing)             (patient ?R Oxygen)             (capability Releasing origin ?G)             (modalAttribute                 (exists (?C)                     (and                         (instance ?C Combustion)                         (causes ?R ?C))) Possibility))))	Transportation.kif 4176-4189	If an object is an instance of substance and oxidizing substance is an attribute of the object, then there exists a process such that the process is an instance of releasing and oxygen is a patient of the process and the object is capable of doing releasing as a origin and the statement there exists an entity such that the entity is an instance of burning and the process causes the entity has the modal force of possibility
(=>     (and         (instance ?LI LoggingIn)         (hasAccount ?U ?A)         (accountAtSite ?A ?S)         (equal ?T             (ImmediateFutureFn                 (WhenFn ?LI)))         (agent ?LI ?U))     (modalAttribute         (holdsDuring ?T             (exists (?P)                 (and                     (instance ?P ComputerProcess)                     (agent ?P ?U)                     (patient ?P ?S)))) Possibility))	ComputingBrands.kif 3967-3981	If a process is an instance of logging in and an agent has account an user account and the user account is an account at a web site and equal a time interval and immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the web site is a patient of the entity holds during the time interval has the modal force of possibility
(=>     (and         (instance ?LI LoggingIn)         (hasAccount ?U ?A)         (deviceAccount ?A ?C)         (equal ?T             (ImmediateFutureFn                 (WhenFn ?LI)))         (agent ?LI ?U))     (modalAttribute         (holdsDuring ?T             (exists (?P)                 (and                     (instance ?P ComputerProcess)                     (agent ?P ?U)                     (instrument ?P ?C)))) Possibility))	ComputingBrands.kif 3983-3997	If a process is an instance of logging in and an agent has account an user account and device account the user account and a computer and equal a time interval and immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the computer is an instrument for the entity holds during the time interval has the modal force of possibility
(=>     (and         (instance ?P Poison)         (instance ?I Ingesting)         (moves ?I ?P)         (experiencer ?I ?H))     (modalAttribute         (holdsDuring             (FutureFn                 (WhenFn ?I))             (attribute ?H Blind)) Possibility))	Mid-level-ontology.kif 9825-9836	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then the statement blindness is an attribute of the agent holds during after the time of existence of the motion has the modal force of possibility
(=>     (and         (instance ?POLICY ChildrenPolicy)         (policyOwner ?AGENT ?POLICY)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsInformation ?POLICY             (modalAttribute                 (exists (?CUST1)                     (and                         (customer ?CUST1 ?AGENT)                         (instance ?CUST1 HumanChild))) Possibility))         (containsInformation ?POLICY             (not                 (modalAttribute                     (exists (?CUST2)                         (and                             (customer ?CUST2 ?AGENT)                             (instance ?CUST2 HumanChild))) Possibility)))))	Hotel.kif 2546-2564	If a policy is an instance of children policy and an organization enacts policy the policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the organization is a customer of the entity and the entity is an instance of human child has the modal force of possibility or the policy contains information the statement there exists another entity such that the organization is a customer of the other entity and the other entity is an instance of human child doesn't have the modal force of possibility
(=>     (and         (instance ?T Transportation)         (instance ?P1 Transitway)         (path ?T ?P1)         (conveyance ?T ?V)         (instance ?J TransitwayJunction)         (part ?J ?P1))     (exists (?P2 ?M)         (and             (instance ?P2 Transitway)             (not                 (equal ?P1 ?P2))             (connects ?J ?P1 ?P2)             (capability Transfer path ?J)             (instance ?M Transfer)             (conveyance ?M ?V)             (meetsTemporally                 (WhenFn ?T)                 (WhenFn ?M))             (modalAttribute                 (path ?M ?P2) Possibility))))	Transportation.kif 3818-3838	If a transportation is an instance of transportation and an object is an instance of transitway and the object is path along which the transportation occurs and a transportation device is a conveyance during the transportation and another object is an instance of transitway junction and the other object is a part of the object, then there exist a third object and another transportation such that the third object is an instance of transitway and equal the object and the third object and the other object connects the object and the third object and the other object is capable of doing transfer as a path and the other transportation is an instance of transfer and the transportation device is a conveyance during the other transportation and the time of existence of the transportation meets the time of existence of the other transportation and the statement the third object is path along which the other transportation occurs has the modal force of possibility
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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