TreeView Knowledge Base Browser - SportsTeam

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 7524-7525
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 7523-7523	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 54786-54786
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54785-54785
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54784-54784

antecedent

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

Mid-level-ontology.kif 7527-7532

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 7022-7026	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 18932-18936	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 7538-7546	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 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