TreeView Knowledge Base Browser - GameShot

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GameShot

GameShot

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17021-17024
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17019-17019	GameShot e' uma sub-classe de Propulsionar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17020-17020	GameShot e' uma sub-classe de Manobra

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 698-698	BaseballHit e' uma sub-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Sports.kif 948-948	GolfDrive e' uma sub-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Sports.kif 954-954	GolfPutt e' uma sub-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17091-17091	Pitching e' uma sub-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17044-17044	Score e' uma sub-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17065-17065	SportServe e' uma sub-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25478-25478
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25477-25477
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25476-25476

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17033-17038	Processo e' uma instancia de GameShot Processo Processo e' uma instancia de Jogo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17026-17031	Processo e' uma instancia de GameShot Entidade Entidade e' uma instancia de GamePiece Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17040-17042	Fisico e' uma instancia de GameShot Fisico tem por fim Fisico e' uma instancia de Score

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