Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  SportsLeague

 Sigma KEE - SportsLeague
SportsLeague(sports league)Ivy_League, baseball_league, basketball_league, big_league, bowling_league, bush_league, conference, football_league, hockey_league, league, little_league, major_league, majors, minor_league, minors

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


(subclass SportsLeague Organization) Mid-level-ontology.kif 8335-8335 Sports league is a subclass of organization
(documentation SportsLeague EnglishLanguage "An Organization whose members are SportsTeams and whose purpose is to set up games between its members.") Mid-level-ontology.kif 8336-8337 Sports league is a subclass of organization

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


(termFormat EnglishLanguage SportsLeague "sports league") domainEnglishFormat.kif 54757-54757
(termFormat ChineseTraditionalLanguage SportsLeague "體育聯盟") domainEnglishFormat.kif 54758-54758
(termFormat ChineseLanguage SportsLeague "体育联盟") domainEnglishFormat.kif 54759-54759

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


(=>
    (and
        (instance ?L SportsLeague)
        (member ?M ?L))
    (instance ?M SportsTeam))		 Mid-level-ontology.kif 8339-8343 If X is an instance of sports league and Y is a member of X, then Y is an instance of sports team


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners