consequent

(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (exists (?GAME)         (and             (instance ?GAME Sport)             (contestParticipant ?GAME ?ATHLETE))))	Sports.kif 1377-1384	If an attribute is an attribute of an agent and the attribute is an instance of professional athlete, then there exists a contest such that the contest is an instance of sport and the agent participates in the contest
(=>     (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         (instance ?B Blockade)         (instance ?C Contest)         (subProcess ?B ?C)         (contestParticipant ?C ?A1)         (agent ?B ?A1))     (exists (?C1 ?A2)         (and             (prevents ?C1 Translocation)             (instance ?B ?C1)             (contestParticipant ?C ?A2)             (not                 (equal ?A1 ?A2))             (desires ?A2                 (exists (?I)                     (and                         (instance ?I ?C1)                         (agent ?I ?A1)                         (subProcess ?I ?C)))))))	Mid-level-ontology.kif 23409-23428	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and equal the agent and the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
(=>     (contestObject ?CONTEST ?OBJ ?AGENT)     (and         (contestParticipant ?CONTEST ?AGENT)         (exists (?MAKE ?JUDGE ?PROC ?AFTR)             (and                 (instance ?MAKE Making)                 (result ?MAKE ?OBJ)                 (agent ?MAKE ?AGENT)                 (instance ?PROC Judging)                 (agent ?PROC ?JUDGE)                 (patient ?PROC ?OBJ)                 (result ?PROC                     (subjectiveAttribute ?OBJ ?AFTR ?JUDGE))                 (subProcess ?PROC ?CONTEST)))))	Dining.kif 883-896	If an agent entered an object in a contest, then the agent participates in the contest and there exist a process, another agent,, , another process and an entity such that the process is an instance of making and the object is a result of the process and the agent is an agent of the process and the other process is an instance of judging and the other agent is an agent of the other process and the object is a patient of the other process and the other agent believes the object is the entity is a result of the other process and the other process is a subprocess of the contest
(=>     (hostileForces ?U1 ?U2)     (exists (?WAR ?A1 ?A2)         (and             (instance ?WAR War)             (contestParticipant ?WAR ?A1)             (contestParticipant ?WAR ?A2)             (subOrganization ?U1                 (GovernmentFn ?A1))             (subOrganization ?U2                 (GovernmentFn ?A2)))))	Mid-level-ontology.kif 9628-9636	If a military unit is a hostile forces of another military unit, then there exist a contest, a geopolitical area and another geopolitical area such that the contest is an instance of war and the geopolitical area participates in the contest and the other geopolitical area participates in the contest and the other military unit is a part of the organization the government of the geopolitical area and the military unit is a part of the organization the government of the other geopolitical area
(=>     (instance ?CONTEST MusicContest)     (exists (?J)         (and             (instance ?J Judging)             (forall (?A)                 (=>                     (contestParticipant ?CONTEST ?A)                     (exists (?MM)                         (and                             (agent ?MM ?A)                             (instance ?MM MakingMusic)                             (subProcess ?MM ?CONTEST)                             (patient ?J ?MM))))))))	Music.kif 1009-1022	If a contest is an instance of music contest, then there exists a process such that the process is an instance of judging and for all an agent if the agent participates in the contest, then there exists another process such that the agent is an agent of the other process and the other process is an instance of making music and the other process is a subprocess of the contest and the other process is a patient of the process
(=>     (instance ?CONTEST SingingContest)     (exists (?J)         (and             (instance ?J Judging)             (forall (?A)                 (=>                     (contestParticipant ?CONTEST ?A)                     (exists (?MV)                         (and                             (agent ?MV ?A)                             (instance ?MV Singing)                             (subProcess ?MV ?CONTEST)                             (patient ?J ?MV))))))))	Music.kif 1029-1042	If a contest is an instance of singing contest, then there exists a process such that the process is an instance of judging and for all an agent if the agent participates in the contest, then there exists another process such that the agent is an agent of the other process and the other process is an instance of singing and the other process is a subprocess of the contest and the other process is a patient of the process
(=>     (instance ?S TeamSport)     (exists (?T1 ?T2)         (and             (contestParticipant ?S ?T1)             (contestParticipant ?S ?T2)             (instance ?T1 SportsTeam)             (instance ?T2 SportsTeam)             (not                 (equal ?T1 ?T2)))))	Mid-level-ontology.kif 8701-8709	If a contest is an instance of team sport, then there exist an agent and another agent such that the agent participates in the contest and the other agent participates in the contest and the agent is an instance of sports team and the other agent is an instance of sports team and equal the agent and the other agent
(=>     (instance ?X Tennis)     (exists (?T1 ?T2)         (and             (contestParticipant ?X ?T1)             (contestParticipant ?X ?T2)             (not                 (equal ?T1 ?T2))             (or                 (instance ?T1 Human)                 (and                     (instance ?T1 GroupOfPeople)                     (memberCount ?T1 2)))             (or                 (instance ?T2 Human)                 (and                     (instance ?T2 GroupOfPeople)                     (memberCount ?T2 2))))))	Sports.kif 869-885	If a contest is an instance of tennis, then there exist an agent and another agent such that the agent participates in the contest and the other agent participates in the contest and equal the agent and the other agent and the agent is an instance of human or the agent is an instance of group of people and 2 is a member count of the agent and the other agent is an instance of human or the other agent is an instance of group of people and 2 is a member count of the other agent

Show simplified definition (without tree view)
Show simplified definition (with tree view)