Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Running

 Sigma KEE - Running
Running(running)abscond, absquatulate, bolt, break_away, bunk, clip, dart, dash, decamp, escape, fartlek, flash, flee, fly, fly_the_coop, go_off, head_for_the_hills, hightail_it, jog, lam, make_off, romp, run, run_away, run_off, running, scarper, scat, scoot, scud, shoot, sprint, take_flight, take_to_the_woods, trot, turn_tail

appearance as argument number 1
-------------------------


(subclass Running Ambulating) Merge.kif 11404-11404 Running is a subclass of ambulating
(documentation Running EnglishLanguage "Ambulating relatively quickly, i.e. moving in such a way that, with each step, neither foot is in contact with the ground for a period of time.") Merge.kif 11406-11408 Running is a subclass of ambulating

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Running "running") domainEnglishFormat.kif 50607-50607
(termFormat ChineseTraditionalLanguage Running "賽跑") domainEnglishFormat.kif 50608-50608
(termFormat ChineseLanguage Running "赛跑") domainEnglishFormat.kif 50609-50609

appearance as argument number 3
-------------------------


(partition Ambulating Walking Running) Merge.kif 11393-11393 Ambulating is exhaustively partitioned into walking and running

antecedent
-------------------------


(=>
    (and
        (instance ?WALK Walking)
        (instance ?RUN Running)
        (agent ?WALK ?AGENT)
        (agent ?RUN ?AGENT)
        (holdsDuring
            (WhenFn ?WALK)
            (measure ?AGENT
                (SpeedFn ?LENGTH1 ?TIME)))
        (holdsDuring
            (WhenFn ?RUN)
            (measure ?AGENT
                (SpeedFn ?LENGTH2 ?TIME))))
    (greaterThan ?LENGTH2 ?LENGTH1))		 Merge.kif 11410-11418 If All of the following hold: (1) X is an instance of walking (2) Y is an instance of running (3) Z is an agent of X (4) Z is an agent of Y (5) the measure of Z is W per V holds during the time of existence of X (6) the measure of Z is U per V holds during the time of existence of Y, then U is greater than W

consequent
-------------------------


(=>
    (instance ?TRACK RunningTrack)
    (hasPurpose ?TRACK
        (exists (?RUN ?HUMAN)
            (and
                (instance ?HUMAN Human)
                (instance ?RUN Running)
                (agent ?RUN ?HUMAN)
                (path ?RUN ?TRACK)))))		 Mid-level-ontology.kif 28374-28382 If X is an instance of running track, then X has the purpose there exist Y, Z such that Z is an instance of human, Y is an instance of running, Z is an agent of Y, and X is path along which Y occurs
(=>
    (and
        (instance ?RR RunningARace)
        (agent ?RR ?H))
    (exists (?R)
        (and
            (instance ?R Running)
            (agent ?R ?H)
            (subProcess ?R ?RR))))		 Sports.kif 277-285 If X is an instance of running a race and Y is an agent of X, then there exists Z such that Z is an instance of running, Y is an agent of Z, and Z is a subprocess of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners