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 est une sous-classe de GroupOfPeople

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 750-750	BaseballTeam est une sous-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 503-503	BasketballTeam est une sous-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 513-513	CarRacingTeam est une sous-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 843-843	FootballTeam est une sous-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 511-511	LacrosseTeam est une sous-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 514-514	MotorcycleRacingTeam est une sous-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 509-509	RugbyTeam est une sous-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 507-507	SoccerTeam est une sous-classe de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 505-505	VolleyballTeam est une sous-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

Objet est une instance de SportsTeam
processus processus est une sous-classe de sport objet est capable de faire processus dans le r�le agent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7022-7026	Collection est une instance de SportsLeague physique est un membre de collection physique est une instance de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18932-18936	Humain occupe la position de position organisation position est une instance de SportsPosition organisation est une instance de SportsTeam
No TPTP formula. May not be expressible in strict first order.	Sports.kif 828-841	Processus est une instance de FootballPass processus entit�, collection, AutonomousAgent and physique processus est un sous-processus de processus processus est une instance de Throwing processus est un agent de AutonomousAgent processus aboutit � physique entit� est un patient de processus entit� est une instance de Football collection est une instance de SportsTeam AutonomousAgent est un membre de collection physique est un membre de collection AutonomousAgent est physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7538-7546	Affrontement est une instance de TeamSport AutonomousAgent AutonomousAgent contestParticipant affrontement and AutonomousAgent contestParticipant affrontement and AutonomousAgent AutonomousAgent est une instance de SportsTeam AutonomousAgent est une instance de SportsTeam AutonomousAgent est 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