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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FootballTeam
FootballTeam(football team)eleven, football_team

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


(documentation FootballTeam EnglishLanguage "The class of SportsTeams that play FootballUS.") Sports.kif 844-844
(subclass FootballTeam SportsTeam) Sports.kif 843-843 Football team is a subclass of sports team

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


(termFormat ChineseLanguage FootballTeam "足球队") domainEnglishFormat.kif 24618-24618
(termFormat ChineseTraditionalLanguage FootballTeam "足球隊") domainEnglishFormat.kif 24617-24617
(termFormat EnglishLanguage FootballTeam "football team") domainEnglishFormat.kif 24616-24616


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