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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Helping

Sigma KEE - Helping
Helpingaegis, aid, approval, approving, assist, auspices, backing, backup, blessing, championship, comfort, consolation, endorsement, help, helping, indorsement, patronage, protection, reassurance, solace, sponsorship, support

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


(documentation Helping EnglishLanguage "From WordNet: give help or assistance, be of service. Examples: Everyone helped out during the earthquake. Can you help me carry this table? She never helps around the house.") MilitaryProcesses.kif 1403-1405
(subclass Helping SocialInteraction) MilitaryProcesses.kif 1402-1402

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


(subclass ForeignInternalDefense Helping) MilitaryProcesses.kif 1874-1874
(subclass SupportCI Helping) MilitaryProcesses.kif 1244-1244
(subclass SupportDC Helping) MilitaryProcesses.kif 1260-1260
(subclass SupportEPW Helping) MilitaryProcesses.kif 1229-1229
(subclass SupportHNAssistance Helping) MilitaryProcesses.kif 1275-1275
(subclass SupportIO Helping) MilitaryProcesses.kif 1322-1322
(subclass UnconventionalWarfare Helping) MilitaryProcesses.kif 132-132
(termFormat EnglishLanguage Helping "helping") domainEnglishFormat.kif 5069-5069

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


(=>
    (and
        (instance ?HELPING Helping)
        (agent ?HELPING ?AGENT)
        (result ?HELPING ?RESULT))
    (exists (?PATIENT)
        (and
            (or
                (patient ?HELPING ?PATIENT)
                (experiencer ?HELPING ?PATIENT))
            (wants ?PATIENT ?RESULT))))
MilitaryProcesses.kif 1407-1417

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


(=>
    (and
        (instance ?PP PublicProgram)
        (experiencer ?PP ?PUBLIC))
    (hasPurpose ?PP
        (exists (?HELPING)
            (and
                (instance ?HELPING Helping)
                (experiencer ?HELPING ?PUBLIC)
                (instance ?PUBLIC Public)))))
MilitaryProcesses.kif 1371-1380
(=>
    (and
        (instance ?SHN SupportHNAssistance)
        (experiencer ?SHN ?HN)
        (instance ?HN HostNation))
    (exists (?OP)
        (and
            (instance ?OP MilitaryOperation)
            (instance ?OP Helping)
            (experiencer ?OP ?HN)
            (patient ?SHN ?OP))))
MilitaryProcesses.kif 1281-1291
(=>
    (attribute ?X Concierge)
    (hasPurpose ?X
        (exists (?HELP)
            (and
                (instance ?HELP Helping)
                (agent ?HELP ?X)))))
Hotel.kif 2356-2362


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