Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tennis

Sigma KEE - Tennis
Tennis

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 780-781
(subclass Tennis Sport) Sports.kif 779-779 subclass Tennis and Sport

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


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

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 784-800

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 1497-1510
(=>
    (attribute ?ATHLETE TennisProfessional)
    (hasSkill Tennis ?ATHLETE))
Sports.kif 1305-1307
(=>
    (instance ?COURT TennisCourt)
    (hasPurpose ?COURT
        (exists (?TENNIS)
            (and
                (instance ?TENNIS Tennis)
                (eventLocated ?TENNIS ?COURT)))))
Sports.kif 807-813


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 is open source software produced by Articulate Software and its partners