Running - Sigma Knowledge base Browser

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 10392-10394
(subclass Running Ambulating)	Merge.kif 10390-10390	Running is a subclass of ambulating

appearance as argument number 2

(termFormat ChineseLanguage Running "赛跑")	domainEnglishFormat.kif 50510-50510
(termFormat ChineseTraditionalLanguage Running "賽跑")	domainEnglishFormat.kif 50509-50509
(termFormat EnglishLanguage Running "running")	domainEnglishFormat.kif 50508-50508

appearance as argument number 3

(partition Ambulating Walking Running)

Merge.kif 10379-10379

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 10396-10404

If a process is an instance of walking and another process is an instance of running and an agent is an agent of the process and the agent is an agent of the other process and the measure of the agent is a quantity per an entity holds during the time of existence of the process and the measure of the agent is another quantity per the entity holds during the time of existence of the other process,
then the other quantity is greater than the quantity

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 23735-23743

If a physical is an instance of running track,
then the physical purpose there exist an entity and another entity such that the other entity is an instance of human and the entity is an instance of running and the other entity is an agent of the entity and the physical is path along which the entity occurs

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

KB Term:			Term intersection

English Word: