TreeView Knowledge Base Browser - Marathon

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Marathon

Marathon(marathon)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Sports.kif 276-278
No TPTP formula. May not be expressible in strict first order.	Sports.kif 275-275	Marathon is a subclass of running a race

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Sports.kif 279-279

antecedent

No TPTP formula. May not be expressible in strict first order.

Sports.kif 281-288

If a motion is an instance of marathon and an agent is an agent of the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number mile(s),
then the real number is equal to 26.2

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