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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pulling

 Sigma KEE - Pulling
Pulling(拉)

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


(disjoint Pulling Pushing) Mid-level-ontology.kif 17635-17635 不相交的 拉 and Pushing
(documentation Pulling EnglishLanguage "Pulling describe the exertion of force so as to cause or tend to cause motion towards the agent.") Mid-level-ontology.kif 17607-17608
(subclass Pulling Motion) Mid-level-ontology.kif 17606-17606 子類 拉 and Motion

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


(termFormat ChineseLanguage Pulling "拉") domainEnglishFormat.kif 48074-48074
(termFormat ChineseTraditionalLanguage Pulling "拉") domainEnglishFormat.kif 48073-48073
(termFormat EnglishLanguage Pulling "pulling") domainEnglishFormat.kif 48072-48072

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


(=>
    (and
        (instance ?P Pulling)
        (agent ?P ?A)
        (patient ?P ?PULLED)
        (destination ?P ?D))
    (holdsDuring ?P
        (and
            (distance ?A ?D ?SMALLER)
            (distance ?PULLED ?D ?LARGER)
            (greaterThan ?LARGER ?SMALLER))))		 Military.kif 759-769
(=>
    (and
        (instance ?P Pulling)
        (origin ?P ?O)
        (agent ?P ?A)
        (holdsDuring
            (BeginFn ?P)
            (located ?A ?ALOC))
        (destination ?P ?D))
    (holdsDuring
        (ImmediateFutureFn
            (BeginFn ?P))
        (exists (?LARGER ?U ?SMALLER)
            (and
                (distance ?ALOC ?D
                    (MeasureFn ?SMALLER ?U))
                (distance ?ALOC ?O
                    (MeasureFn ?LARGER ?U))
                (greaterThan ?LARGER ?SMALLER)))))		 Mid-level-ontology.kif 17637-17655

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


(=>
    (and
        (instance ?W Wagon)
        (instance ?T Transportation)
        (instrument ?T ?W))
    (exists (?P)
        (and
            (instance ?T Pulling)
            (agent ?T ?P)
            (patient ?T ?W)
            (or
                (instance ?P DomesticAnimal)
                (instance ?P Vehicle)))))		 Transportation.kif 1852-1864
(=>
    (instance ?AT AnimalTeam)
    (exists (?P)
        (and
            (instance ?P Pulling)
            (agent ?P ?AT))))		 Mid-level-ontology.kif 7516-7521
(=>
    (instance ?G AutomaticGun)
    (hasPurpose ?G
        (exists (?S1 ?S2 ?P ?T)
            (and
                (instance ?P Pulling)
                (instance ?T GunTrigger)
                (patient ?P ?T)
                (part ?T ?G)
                (instance ?S1 Shooting)
                (instance ?S2 Shooting)
                (instrument ?S1 ?G)
                (instrument ?S2 ?G)
                (not
                    (equal ?S1 ?S2))
                (causes ?P ?S1)
                (causes ?P ?S2)))))		 Mid-level-ontology.kif 1569-1584
(=>
    (instance ?T GunTrigger)
    (hasPurpose ?T
        (exists (?S ?G ?P)
            (and
                (instance ?G AutomaticGun)
                (part ?T ?G)
                (patient ?P ?T)
                (instance ?P Pulling)
                (instance ?S Shooting)
                (instrument ?S ?G)
                (causes ?P ?S)))))		 Mid-level-ontology.kif 1586-1597


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 is open source software produced by Articulate Software and its partners