TreeView Knowledge Base Browser - HalfMarathon

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HalfMarathon

HalfMarathon(half-marathon)

appearance as argument number 1

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

Sports.kif 290-290

Half-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 293-293

antecedent

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

Sports.kif 295-302

If a motion is an instance of half-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 13.1

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