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 11188-11190
(documentation Running JapaneseLanguage "Ambulating は比較的迅速に、すなわち、各ステップで、どちらの足も一定期間地面に接触しないような方法で移動する。")	japanese_format.kif 1773-1774
(subclass Running Ambulating)	Merge.kif 11186-11186	Running is a subclass of ambulating

appearance as argument number 2

(termFormat ChineseLanguage Running "赛跑")	domainEnglishFormat.kif 50652-50652
(termFormat ChineseTraditionalLanguage Running "賽跑")	domainEnglishFormat.kif 50651-50651
(termFormat EnglishLanguage Running "running")	domainEnglishFormat.kif 50650-50650

appearance as argument number 3

(partition Ambulating Walking Running)

Merge.kif 11175-11175

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 11192-11200

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 real number per an entity holds during the time of existence of the process and the measure of the agent is another real number per the entity holds during the time of existence of the other process,
then the other real number is greater than the real number

consequent

(=> (and (instance ?RR RunningARace) (agent ?RR ?H)) (exists (?R) (and (instance ?R Running) (agent ?R ?H) (subProcess ?R ?RR))))	Sports.kif 265-273	If a process is an instance of running a race and an agent is an agent of the process, then there exists another process such that the other process is an instance of running and the agent is an agent of the other process and the other process is a subprocess of the process
(=> (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 26070-26078	If a physical is an instance of running track, then the physical has the 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: