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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BaseballTeam
BaseballTeam

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

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