SportsTeam - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SportsTeam

SportsTeam

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7552-7553
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1501-1501
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7551-7551	SportsTeam e' uma sub-classe de GroupOfPeople

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 750-750	BaseballTeam e' uma sub-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 503-503	BasketballTeam e' uma sub-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 513-513	CarRacingTeam e' uma sub-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 843-843	FootballTeam e' uma sub-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 511-511	LacrosseTeam e' uma sub-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 514-514	MotorcycleRacingTeam e' uma sub-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 509-509	RugbyTeam e' uma sub-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 507-507	SoccerTeam e' uma sub-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 505-505	VolleyballTeam e' uma sub-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54788-54788
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54787-54787
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54786-54786

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 7555-7560

Objeto e' uma instancia de SportsTeam
Processo Processo e' uma sub-classe de Esporte Objeto e' capaz de fazer Processo no role agent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7050-7054	Colecao e' uma instancia de SportsLeague Fisico e' membro de Colecao Fisico e' uma instancia de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18960-18964	Humano ocupa a posicao de Posicao Organizacao Posicao e' uma instancia de SportsPosition Organizacao e' uma instancia de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 828-841	Processo e' uma instancia de FootballPass Processo Entidade, Colecao, AutonomousAgent and Fisico Processo e' um sub-processo de Processo Processo e' uma instancia de Throwing Processo e' um agente de AutonomousAgent Processo termina em Fisico Entidade e' um patient de Processo Entidade e' uma instancia de Football Colecao e' uma instancia de SportsTeam AutonomousAgent e' membro de Colecao Fisico e' membro de Colecao AutonomousAgent e' igual a Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7566-7574	Contest e' uma instancia de TeamSport AutonomousAgent AutonomousAgent contestParticipant Contest and AutonomousAgent contestParticipant Contest and AutonomousAgent AutonomousAgent e' uma instancia de SportsTeam AutonomousAgent e' uma instancia de SportsTeam AutonomousAgent e' igual a AutonomousAgent

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