(=>
(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 8860-8868 |
If X is an instance of team sport, then All of the following hold: (1) there exist Y (2) Z such that Y participates in X (3) Z participates in X (4) Y is an instance of sports team (5) Z is an instance of sports team (6) equal Y (7) Z |
(=>
(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 9787-9795 |
If X is a hostile forces of Y, then there exist Z, W, V such that Z is an instance of war, W participates in Z, V participates in Z, Y is a part of the organization the government of W, and X is a part of the organization the government of V |
(=>
(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 24069-24088 |
If X is an instance of blockade, Y is an instance of contest, X is a subprocess of Y, Z participates in Y, and Z is an agent of X, then All of the following hold: (1) there exist W (2) V such that W prevents the occurrence of translocation (3) X is an instance of W (4) V participates in Y (5) equal Z (6) V (7) V desires there exists U such that U is an instance of W (8) Z is an agent of U (9) U is a subprocess of Y |
(=>
(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)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(subjectiveAttribute ?OBJ ?AFTR ?JUDGE))
(subProcess ?PROC ?CONTEST))))) |
Dining.kif 883-899 |
If X entered Y in Z, then X participates in Z and All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of making (3) Y is a result of W (4) X is an agent of W (5) U is an instance of judging (6) V is an agent of U (7) Y is a patient of U (8) V believes Y is T holds during immediately after the time of existence of U (9) U is a subprocess of Z |
(=>
(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 X employs Y, traveler accommodation is an attribute of X, tennis pro is an attribute of Y, and Z is a guest at X, then the statement there exist W, V such that W is an instance of tennis, Y participates in W, Z participates in W, W is located at V, and X is located at V has the modal force of possibility |
(=>
(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 X is an instance of music contest, then there exists Y such that Y is an instance of judging, Z Z participates in Xthere exists W such that Z is an agent of W, W is an instance of making music, W is a subprocess of X, and W is a patient of Y |
(=>
(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 X is an instance of singing contest, then there exists Y such that Y is an instance of judging, Z Z participates in Xthere exists W such that Z is an agent of W, W is an instance of singing, W is a subprocess of X, and W is a patient of Y |
(=>
(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 883-899 |
If X is an instance of tennis, then All of the following hold: (1) there exist Y (2) Z such that Y participates in X (3) Z participates in X (4) equal Y (5) Z (6) Y is an instance of human, Y is an instance of group of people (7) 2 is a member count of Y (8) Z is an instance of human, or Z is an instance of group of people (9) 2 is a member count of Z |
(=>
(and
(attribute ?ATHLETE ?PA)
(instance ?PA ProfessionalAthlete))
(exists (?GAME)
(and
(instance ?GAME Sport)
(contestParticipant ?GAME ?ATHLETE)))) |
Sports.kif 1391-1398 |
If X is an attribute of Y and X is an instance of professional athlete, then there exists Z such that Z is an instance of sport and Y participates in Z |
