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

KB Term:  Term intersection
English Word: 

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

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


(subclass Helping SocialInteraction) MilitaryProcesses.kif 1436-1436 Helping is a subclass of social interaction
(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 1437-1439 Helping is a subclass of social interaction

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


(subclass UnconventionalWarfare Helping) MilitaryProcesses.kif 132-132 Unconventional warfare is a subclass of helping
(subclass SupportEPW Helping) MilitaryProcesses.kif 1263-1263 SupportEPW is a subclass of helping
(subclass SupportCI Helping) MilitaryProcesses.kif 1278-1278 SupportCI is a subclass of helping
(subclass SupportDC Helping) MilitaryProcesses.kif 1294-1294 SupportDC is a subclass of helping
(subclass SupportHNAssistance Helping) MilitaryProcesses.kif 1309-1309 Support to HN assistance is a subclass of helping
(subclass SupportIO Helping) MilitaryProcesses.kif 1356-1356 SupportIO is a subclass of helping
(subclass ForeignInternalDefense Helping) MilitaryProcesses.kif 1929-1929 Foreign internal defense is a subclass of helping
(termFormat EnglishLanguage Helping "helping") domainEnglishFormat.kif 27911-27911 Foreign internal defense is a subclass of helping
(termFormat ChineseTraditionalLanguage Helping "幫助") domainEnglishFormat.kif 27912-27912 Foreign internal defense is a subclass of helping
(termFormat ChineseLanguage Helping "帮助") domainEnglishFormat.kif 27913-27913 Foreign internal defense is a subclass of helping

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


(=>
    (and
        (instance ?HELPING Helping)
        (agent ?HELPING ?AGENT)
        (result ?HELPING ?RESULT))
    (exists (?PATIENT)
        (and
            (not
                (equal ?AGENT ?PATIENT))
            (or
                (patient ?HELPING ?PATIENT)
                (experiencer ?HELPING ?PATIENT))
            (wants ?PATIENT ?RESULT))))		 MilitaryProcesses.kif 1441-1453 If X is an instance of helping, Y is an agent of X, and Z is a result of X, then there exists W such that equal Y, W, W is a patient of X or W experiences X, and W wants Z

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


(=>
    (attribute ?X Concierge)
    (hasPurpose ?X
        (exists (?HELP)
            (and
                (instance ?HELP Helping)
                (agent ?HELP ?X)))))		 Hotel.kif 2433-2439 If concierge is an attribute of X, then X has the purpose there exists Y such that Y is an instance of helping and X is an agent of Y
(=>
    (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 1315-1325 If X is an instance of support to HN assistance, Y experiences X, and Y is an instance of host nation, then there exists Z such that Z is an instance of military operation, Z is an instance of helping, Y experiences Z, and Z is a patient of X
(=>
    (and
        (instance ?PP PublicProgram)
        (experiencer ?PP ?PUBLIC))
    (hasPurpose ?PP
        (exists (?HELPING)
            (and
                (instance ?HELPING Helping)
                (experiencer ?HELPING ?PUBLIC)
                (instance ?PUBLIC Public)))))		 MilitaryProcesses.kif 1405-1414 If X is an instance of public program and Y experiences X, then X has the purpose there exists Z such that Z is an instance of helping, Y experiences Z, and Y is an instance of public


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners