Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Running
Running

VerbNet: run-51.3.2|bolt, run-51.3.2|bolt, run-51.3.2|bolt, run-51.3.2|run, run-51.3.2|run, run-51.3.2|jog, run-51.3.2|scoot, run-51.3.2|scoot, run-51.3.2|bolt, run-51.3.2|run, run-51.3.2|scoot, run-51.3.2|fly, run-51.3.2|fly, run-51.3.2|run, run-51.3.2|bolt, run-51.3.2|run, run-51.3.2|run, run-51.3.2|jog, run-51.3.2|run, run-51.3.2|bolt, run-51.3.2|romp, run-51.3.2|run, run-51.3.2|run, run-51.3.2|bolt, run-51.3.2|run, run-51.3.2|run, run-51.3.2|scoot, run-51.3.2|scoot, run-51.3.2|scoot, run-51.3.2|fly, run-51.3.2|run, run-51.3.2|jog, run-51.3.2|run,


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


(documentation Running ChineseLanguage "这是相对较快的 Ambulating,即是每一步以没有任何一只脚 在一段时间内和地面有接触的方式移动。") chinese_format.kif 3010-3011
(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 10301-10303
(subclass Running Ambulating) Merge.kif 10299-10299

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


(termFormat ChineseLanguage Running "赛跑") domainEnglishFormat.kif 50551-50551
(termFormat ChineseTraditionalLanguage Running "賽跑") domainEnglishFormat.kif 50550-50550
(termFormat EnglishLanguage Running "running") domainEnglishFormat.kif 50549-50549

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


(partition Ambulating Walking Running) Merge.kif 10288-10288

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 10305-10313

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 23723-23731


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners