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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtificialAndSyntheticFibersAndFilamentsManufacturing

Sigma KEE - Ambulating
Ambulating
تأرْجح, تمايل, أثر على, أعدم, انحرف, انقلب, انقلق, اهتز, تأرجح, تثنى, تدلى, ترنح, تسلط, حمله على تغيير رأيه, دار, سدد ضربة إلى, علق, فرض سيطرته, كان منتظم الإيقاع, هز, وفق في إنجاز عمل, حبا, دبّ, اعترش, انسل, تغير شكله, تقدم ببطء, تنمل, دب, زحف, لص, زَحَفَ,

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


(documentation Ambulating ChineseLanguage "这是 Animal 为了从一点移动到另一点用脚完成的任何 BodyMotion。") Merge.kif 10977-10978
(documentation Ambulating EnglishLanguage "Any BodyMotion which is accomplished by means of the legs of an Animal for the purpose of moving from one point to another.") Merge.kif 10974-10976
(externalImage Ambulating "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ 2005_World_Championships_in_Athletics_4.jpg.JPG/ 180px-2005_World_Championships_in_Athletics_4.jpg.JPG") pictureList.kif 1027-1027
(partition Ambulating Walking Running) Merge.kif 10973-10973
(subclass Ambulating BodyMotion) Merge.kif 10970-10970
(subclass Ambulating IntentionalProcess) Merge.kif 10971-10971
(subclass Ambulating Translocation) Merge.kif 10972-10972

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


(subclass Running Ambulating) Merge.kif 10986-10986
(subclass Walking Ambulating) Merge.kif 10980-10980
(termFormat EnglishLanguage Ambulating "ambulating") domainEnglishFormat.kif 1624-1624

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


(=>
    (and
        (instance ?A Ambulating)
        (subProcess ?S1 ?A)
        (instance ?S1 Stepping)
        (subProcess ?S2 ?A)
        (instance ?S2 Stepping)
        (equal ?S1-START
            (BeginFn
                (WhenFn ?S1)))
        (equal ?S2-START
            (BeginFn
                (WhenFn ?S2)))
        (not
            (or
                (before ?S1-START ?S2-START)
                (before ?S2-START ?S1-START))))
    (equal ?S1 ?S2))
Mid-level-ontology.kif 676-689
(=>
    (and
        (instance ?A Biped)
        (instance ?W Ambulating)
        (agent ?W ?A))
    (modalAttribute
        (exists (?L1 L2)
            (and
                (instance ?L1 Leg)
                (instance ?L2 Leg)
                (part ?L1 ?A)
                (part ?L2 ?A)
                (instrument ?W ?L1)
                (instrument ?W ?L2))) Likely))
Mid-level-ontology.kif 4880-4894
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (agent ?AMBULATE ?AGENT))
    (attribute ?AGENT Standing))
Merge.kif 18329-18333
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (equal ?DURATION
            (WhenFn ?AMBULATE)))
    (exists (?STEP1 ?STEPN)
        (and
            (instance ?STEP1 Stepping)
            (instance ?STEPN Stepping)
            (subProcess ?STEP1 ?AMBULATE)
            (subProcess ?STEPN ?AMBULATE)
            (starts
                (WhenFn ?STEP1) ?DURATION)
            (finishes
                (WhenFn ?STEPN) ?DURATION)
            (not
                (equal ?STEP1 ?STEPN)))))
Mid-level-ontology.kif 661-673
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (instance ?STEP Stepping)
        (subProcess ?STEP ?AMBULATE)
        (agent ?AMBULATE ?AGENT))
    (agent ?STEP ?AGENT))
Mid-level-ontology.kif 692-698
(=>
    (and
        (instance ?AMBULATE Ambulating)
        (instance ?STEP Stepping)
        (subProcess ?STEP ?AMBULATE)
        (agent ?STEP ?AGENT))
    (agent ?AMBULATE ?AGENT))
Mid-level-ontology.kif 701-707

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


(=>
    (and
        (instance ?GRP MarchingBand)
        (instance ?MP MusicalPerformance)
        (agent ?MP ?GRP))
    (and
        (instance ?OD Outdoors)
        (eventLocated ?MP ?OD)
        (exists (?AMB)
            (and
                (instance ?AMB Ambulating)
                (subProcess ?AMB ?MP)))))
Music.kif 999-1010


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