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 820-821
No TPTP formula. May not be expressible in strict first order.	Sports.kif 819-819	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 825-825	Foot ball US has name "American Football"
No TPTP formula. May not be expressible in strict first order.	Sports.kif 823-823	Foot ball US has name "American Football"
No TPTP formula. May not be expressible in strict first order.	Sports.kif 824-824	Foot ball US has name "American Football"
No TPTP formula. May not be expressible in strict first order.	Sports.kif 822-822	Foot ball US has name "American Football"

consequent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 345-350	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 829-834	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