TreeView Knowledge Base Browser - Pitching

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Pitching

Pitching(pitching)

delivery, overhand_pitch, passed_ball, pitch, pitching, spitball, spitter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17119-17120
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17118-17118	Pitching is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17117-17117	Pitching is a subclass of throwing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45962-45962
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45961-45961
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45960-45960

antecedent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 662-670	If a process is an instance of baseball and another process is an instance of pitching and the other process is a subprocess of the process, then there exists an object such that the object is an instance of pitchers mound and the other process originates at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17122-17126	If a process is an instance of pitching and an entity is a patient of the process, then the entity is an instance of ball

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