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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BaseballTeam

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 10086-10086
(termFormat ChineseTraditionalLanguage BaseballTeam "棒球隊") domainEnglishFormat.kif 10085-10085
(termFormat EnglishLanguage BaseballTeam "baseball team") domainEnglishFormat.kif 10084-10084

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


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


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