Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PhysicalViolence

 Sigma KEE - Tennis
Tennis(tennis)court_tennis, doubles, lawn_tennis, professional_tennis, real_tennis, royal_tennis, service_break, singles, tennis, tennis_match

appearance as argument number 1
-------------------------


(subclass Tennis Sport) Sports.kif 878-878 Tennis is a subclass of sport
(documentation Tennis EnglishLanguage "Tennis is a Sport played with rackets by two or four players who hit a ball back and forth over a net that divides the court") Sports.kif 879-880 Tennis is a subclass of sport

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Tennis "tennis") Sports.kif 881-881

antecedent
-------------------------


(=>
    (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

consequent
-------------------------


(=>
    (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 ?COURT TennisCourt)
    (hasPurpose ?COURT
        (exists (?TENNIS)
            (and
                (instance ?TENNIS Tennis)
                (eventLocated ?TENNIS ?COURT)))))		 Sports.kif 906-912 If X is an instance of tennis court, then X has the purpose there exists Y such that Y is an instance of tennis and Y is located at X
(=>
    (attribute ?ATHLETE TennisProfessional)
    (hasSkill Tennis ?ATHLETE))		 Sports.kif 1405-1407 If tennis pro is an attribute of X, then X has the skill to do tennis


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners