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 17072-17072
(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 17045-17046
(subclass Pulling Motion) Mid-level-ontology.kif 17044-17044

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


(termFormat ChineseLanguage Pulling "拉") domainEnglishFormat.kif 48057-48057
(termFormat ChineseTraditionalLanguage Pulling "拉") domainEnglishFormat.kif 48056-48056
(termFormat EnglishLanguage Pulling "pulling") domainEnglishFormat.kif 48055-48055

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))
        (and
            (distance ?ALOC ?D
                (MeasureFn ?SMALLER ?U))
            (distance ?ALOC ?O
                (MeasureFn ?LARGER ?U))
            (greaterThan ?LARGER ?SMALLER))))
Mid-level-ontology.kif 17074-17091

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 1860-1872
(=>
    (instance ?AT AnimalTeam)
    (exists (?P)
        (and
            (instance ?P Pulling)
            (agent ?P ?AT))))
Mid-level-ontology.kif 7193-7198
(=>
    (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 1524-1539
(=>
    (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 1541-1552


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