FootballUS - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FootballUS

FootballUS(foot ball US)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Sports.kif 808-809
No TPTP formula. May not be expressible in strict first order.	Sports.kif 807-807	Foot ball US is a subclass of team sport

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 813-813	Foot ball US has name "American Football"
No TPTP formula. May not be expressible in strict first order.	Sports.kif 811-811
No TPTP formula. May not be expressible in strict first order.	Sports.kif 812-812
No TPTP formula. May not be expressible in strict first order.	Sports.kif 810-810

consequent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 333-338	If an entity is an instance of foot ball, then there exists a process such that the process is an instance of foot ball US and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 817-822	If a process is an instance of football maneuver, then there exists another process such that the other process is an instance of foot ball US and the process is a subprocess of the other process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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