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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BaseballTeam
BaseballTeam(baseball team)
ball_club, baseball_club, baseball_team, club, farm_club, farm_team, nine

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


(documentation BaseballTeam EnglishLanguage "The class of SportsTeams that play Baseball.") Sports.kif 751-751
(externalImage BaseballTeam "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Buffalo_Blues%2C_baseball_team_1915.jpg") pictureList.kif 4536-4536
(subclass BaseballTeam SportsTeam) Sports.kif 750-750 Baseball team is a subclass of sports team

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


(termFormat ChineseLanguage BaseballTeam "棒球队") domainEnglishFormat.kif 10094-10094
(termFormat ChineseTraditionalLanguage BaseballTeam "棒球隊") domainEnglishFormat.kif 10093-10093
(termFormat EnglishLanguage BaseballTeam "baseball team") domainEnglishFormat.kif 10092-10092

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


(=>
    (instance ?TEAM BaseballTeam)
    (capability Baseball agent ?TEAM))
Sports.kif 753-755


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