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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Giving
Giving
more pictures...

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


(documentation Giving ChineseLanguage "这是一组 ChangeOfPossessionsubclass,它是 当 agent 把一些东西给 destination 时。 ") chinese_format.kif 3073-3074
(documentation Giving EnglishLanguage "The subclass of ChangeOfPossession where the agent gives the destination something.") Merge.kif 11516-11517
(externalImage Giving "http://upload.wikimedia.org/wikipedia/commons/0/01/ Gift_giving_ceremony.jpg") pictureList.kif 11100-11100
(externalImage Giving "http://upload.wikimedia.org/wikipedia/commons/2/29/ Morgan_giving_lecture.png") pictureList.kif 11101-11101
(externalImage Giving "http://upload.wikimedia.org/wikipedia/commons/6/62/ Gifts_xmas.jpg") pictureList.kif 10044-10044
(externalImage Giving "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Mumbai-street-kids.jpg") pictureList.kif 11103-11103
(externalImage Giving "http://upload.wikimedia.org/wikipedia/commons/f/f2/ Fairbanks_Robin_Hood_giving_Marian_a_dagger.jpg") pictureList.kif 11102-11102
(externalImage Giving "http://upload.wikimedia.org/wikipedia/en/d/dc/Love_gift_-_Calyx_krater_Aegisthos_painter_ca_460_BCE.jpg") pictureList.kif 11099-11099
(subclass Giving ChangeOfPossession) Merge.kif 11514-11514 subclass Giving and ChangeOfPossession

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


(subclass DistributeProducts Giving) MilitaryProcesses.kif 1211-1211 subclass DistributeProducts and Giving
(subclass Feeding Giving) Mid-level-ontology.kif 11109-11109 subclass Feeding and Giving
(subclass FoodDistributionOperation Giving) Military.kif 50-50 subclass FoodDistributionOperation and Giving
(subclass Funding Giving) Merge.kif 11539-11539 subclass Funding and Giving
(subclass GivingBack Giving) Merge.kif 11603-11603 subclass GivingBack and Giving
(subclass Lending Giving) Merge.kif 11570-11570 subclass Lending and Giving
(subclass UnilateralGiving Giving) Merge.kif 11555-11555 subclass UnilateralGiving and Giving
(termFormat ChineseLanguage Giving "给予") chinese_format.kif 1133-1133
(termFormat EnglishLanguage Giving "giving") english_format.kif 1483-1483

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


(=>
    (and
        (instance ?Check PayCheck)
        (issuedBy ?Check ?Organization)
        (instance ?Give Giving)
        (destination ?Give ?Agent))
    (employs ?Agent ?Organization))
FinancialOntology.kif 171-177
(=>
    (and
        (instance ?GIVE Giving)
        (agent ?GIVE ?AGENT))
    (origin ?GIVE ?AGENT))
Merge.kif 11533-11537
(=>
    (and
        (instance ?GIVE Giving)
        (agent ?GIVE ?AGENT1)
        (destination ?GIVE ?AGENT2)
        (instance ?AGENT2 Agent)
        (patient ?GIVE ?OBJ))
    (exists (?GET)
        (and
            (instance ?GET Getting)
            (agent ?GET ?AGENT2)
            (origin ?GET ?AGENT1)
            (patient ?GET ?OBJ))))
Merge.kif 11519-11531

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


(=>
    (and
        (instance ?RETURN GivingBack)
        (agent ?RETURN ?AGENT)
        (destination ?RETURN ?DEST))
    (exists (?GIVE)
        (and
            (instance ?GIVE Giving)
            (agent ?GIVE ?DEST)
            (destination ?GIVE ?AGENT)
            (earlier
                (WhenFn ?GIVE)
                (WhenFn ?RETURN)))))
Merge.kif 11609-11619
(=>
    (and
        (instance ?SHARE Sharing)
        (agent ?SHARE ?AGENT1)
        (destination ?SHARE ?AGENT2)
        (patient ?SHARE ?OBJ))
    (exists (?GIVE ?PART)
        (and
            (instance ?GIVE Giving)
            (subProcess ?GIVE ?SHARE)
            (patient ?GIVE ?PART)
            (properPart ?PART ?OBJ)
            (agent ?GIVE ?AGENT1)
            (destination ?GIVE ?AGENT2))))
Mid-level-ontology.kif 17999-18012
(=>
    (instance ?AOC AOCnumber)
    (exists (?G ?AIRLINE)
        (and
            (instance ?G Giving)
            (agent ?G FederalAviationAdministration)
            (destination ?G ?AIRLINE)
            (patient ?G ?AOC))))
Transportation.kif 3178-3185
(=>
    (instance ?FD FoodDistributionOperation)
    (exists (?GI ?GE)
        (and
            (instance ?GI Giving)
            (instance ?GI Getting)
            (subProcess ?GI ?FD)
            (subProcess ?GE ?FD))))
Military.kif 53-60
(=>
    (instance ?TRANS Transaction)
    (exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2)
        (and
            (instance ?GIVE1 Giving)
            (instance ?GIVE2 Giving)
            (subProcess ?GIVE1 ?TRANS)
            (subProcess ?GIVE2 ?TRANS)
            (agent ?GIVE1 ?AGENT1)
            (agent ?GIVE2 ?AGENT2)
            (patient ?GIVE1 ?OBJ1)
            (patient ?GIVE2 ?OBJ2)
            (destination ?GIVE1 ?AGENT2)
            (destination ?GIVE2 ?AGENT1)
            (not
                (equal ?AGENT1 ?AGENT2))
            (not
                (equal ?OBJ1 ?OBJ2)))))
Merge.kif 11661-11678


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