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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pulling
Pulling

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


(disjoint Pulling Pushing) Mid-level-ontology.kif 15228-15228
(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 15203-15204
(subclass Pulling Motion) Mid-level-ontology.kif 15202-15202

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


(termFormat ChineseLanguage Pulling "拉") domainEnglishFormat.kif 48002-48002
(termFormat ChineseTraditionalLanguage Pulling "拉") domainEnglishFormat.kif 48001-48001
(termFormat EnglishLanguage Pulling "pulling") domainEnglishFormat.kif 48000-48000

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 ?SMALLER)
            (distance ?ALOC ?O ?LARGER)
            (greaterThan ?LARGER ?SMALLER))))
Mid-level-ontology.kif 15230-15245

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 1842-1854
(=>
    (instance ?AT AnimalTeam)
    (exists (?P)
        (and
            (instance ?P Pulling)
            (agent ?P ?AT))))
Mid-level-ontology.kif 7207-7212
(=>
    (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 1979-1994
(=>
    (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 1996-2007


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