Tennis - Sigma Knowledge base Browser

appearance as argument number 1

(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 853-854
(subclass Tennis Sport)	Sports.kif 852-852	Tennis is a subclass of sport

appearance as argument number 2

(termFormat EnglishLanguage Tennis "tennis")

Sports.kif 855-855

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 857-873

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 the agent is not equal to 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

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 1522-1535	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
(=> (attribute ?ATHLETE TennisProfessional) (hasSkill Tennis ?ATHLETE))	Sports.kif 1378-1380	If tennis pro is an attribute of an agent, then the agent has the skill to do tennis
(=> (instance ?COURT TennisCourt) (hasPurpose ?COURT (exists (?TENNIS) (and (instance ?TENNIS Tennis) (eventLocated ?TENNIS ?COURT)))))	Sports.kif 880-886	If a physical is an instance of tennis court, then the physical has the purpose there exists an entity such that the entity is an instance of tennis 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

KB Term:			Term intersection

English Word: