TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3298-3298
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13378-13379
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6889-6889
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7967-7967
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7968-7968
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7969-7969
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7970-7970
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7971-7971
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7972-7972
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13377-13377	Esporte e' uma sub-classe de Jogo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 89-89	Archery e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 91-91	Badminton e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 772-772	Bodybuilding e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1102-1102	Bowling e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 585-585	Boxing e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 226-226	Caving e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 95-95	Curling e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 97-97	CycleRacing e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 103-103	Diving e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1181-1181	Equitation e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 114-114	Fencing e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 116-116	FigureSkating e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 236-236	FishingSport e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 889-889	Golf e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 600-600	Gymnastics e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 245-245	HorseRacing e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 112-112	IceSkating e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 221-221	KiteSurfing e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 126-126	Lacrosse e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 133-133	MartialArts e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1336-1336	OlympicGames e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7549-7549	Racing e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1317-1317	Racquetball e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 232-232	Rafting e' uma sub-classe de Esporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 496-496	RockClimbing e' uma sub-classe de Esporte

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 1363-1370	Atributo e' um atributo de AutonomousAgent Atributo e' uma instancia de ProfessionalAthlete Contest Contest e' uma instancia de Esporte contestParticipant Contest and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1357-1361	Atributo e' um atributo de AutonomousAgent Atributo e' uma instancia de ProfessionalAthlete AutonomousAgent tem a capacidade de fazer Esporte
No TPTP formula. May not be expressible in strict first order.	naics.kif 7600-7618	Colecao e' uma instancia de Organizacao SportingGoodsHobbyBookAndMusicStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto AutonomousAgent e' uma instancia de Vender Objeto e' uma instancia de Objeto Objeto e' capaz de fazer Esporte no role instrument Objeto e' capaz de fazer MakingMusic no role instrument Objeto e' uma instancia de Livro Objeto e' uma instancia de MusicRecording Objeto e' uma instancia de MusicText Objeto e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2353-2372	ArtsAndRecreationTicketingServices e' um atributo de Objeto Objeto tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Vender Entidade e' um patient de Entidade Entidade e' um agente de Objeto Entidade e' uma instancia de Ticket Entidade termina em Entidade Entidade tem por fim Objeto autoriza Entidade a executar tarefas de tipo Entidade Entidade Entidade e' uma instancia de Visao Entidade e' um agente de Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Performance Entidade e' uma instancia de Esporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7011-7017	Fisico e' uma instancia de SportsFacility Fisico tem por fim Entidade Entidade e' uma instancia de Esporte eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15677-15683	Fisico e' uma instancia de SportsGround Fisico tem por fim Entidade Entidade e' uma instancia de Esporte eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17070-17076	Processo e' uma instancia de SportServe Processo Processo e' uma instancia de Esporte Processo e' um sub-processo de Processo tempo de existencia de Processo comeca em tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7528-7533	Objeto e' uma instancia de SportsTeam Processo Processo e' uma sub-classe de Esporte Objeto e' capaz de fazer Processo no role agent

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

KB Term:			Term intersection

English Word: