TreeView Knowledge Base Browser - BaseballRun

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BaseballRun

BaseballRun

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Sports.kif 704-706
No TPTP formula. May not be expressible in strict first order.	Sports.kif 702-702	BaseballRun e' uma sub-classe de BaseballHit
No TPTP formula. May not be expressible in strict first order.	Sports.kif 703-703	BaseballRun e' uma sub-classe de Score

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 708-708	HomeRun e' uma sub-classe de BaseballRun
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10062-10062
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10061-10061
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10060-10060

antecedent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 624-634	Processo e' uma instancia de BaseballRun Processo e' um agente de AutonomousAgent Processo Entidade Processo e' uma instancia de Tocar Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de HomeBase
No TPTP formula. May not be expressible in strict first order.	Sports.kif 711-732	Processo e' uma instancia de BaseballRun Processo Processo, Processo, Processo, Entidade, Entidade, Entidade and Entidade Processo e' uma instancia de Tocar Processo e' uma instancia de Tocar Processo e' uma instancia de Tocar Processo e' uma instancia de Tocar Entidade e' uma instancia de BaseballBase Entidade e' uma instancia de BaseballBase Entidade e' uma instancia de BaseballBase Entidade e' uma instancia de BaseballBase Entidade e' igual a Entidade Entidade e' igual a Entidade Entidade e' igual a Entidade Entidade e' igual a Entidade Entidade e' igual a Entidade Entidade e' igual a Entidade Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo

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