Helping - Sigma Knowledge base Browser

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 1415-1417
(subclass Helping SocialInteraction)	MilitaryProcesses.kif 1414-1414	Helping e' uma sub-classe de Interacao Social

appearance as argument number 2

(subclass ForeignInternalDefense Helping)	MilitaryProcesses.kif 1906-1906	ForeignInternalDefense e' uma sub-classe de Helping
(subclass SupportCI Helping)	MilitaryProcesses.kif 1256-1256	SupportCI e' uma sub-classe de Helping
(subclass SupportDC Helping)	MilitaryProcesses.kif 1272-1272	SupportDC e' uma sub-classe de Helping
(subclass SupportEPW Helping)	MilitaryProcesses.kif 1241-1241	SupportEPW e' uma sub-classe de Helping
(subclass SupportHNAssistance Helping)	MilitaryProcesses.kif 1287-1287	SupportHNAssistance e' uma sub-classe de Helping
(subclass SupportIO Helping)	MilitaryProcesses.kif 1334-1334	SupportIO e' uma sub-classe de Helping
(subclass UnconventionalWarfare Helping)	MilitaryProcesses.kif 132-132	UnconventionalWarfare e' uma sub-classe de Helping
(termFormat ChineseLanguage Helping "帮助")	domainEnglishFormat.kif 27909-27909
(termFormat ChineseTraditionalLanguage Helping "幫助")	domainEnglishFormat.kif 27908-27908
(termFormat EnglishLanguage Helping "helping")	domainEnglishFormat.kif 27907-27907

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 1419-1431

Processo e' uma instancia de Helping Processo e' um agente de AutonomousAgent Fisico e' o resultado de Processo
Agente Cognitivo AutonomousAgent e' igual a Agente Cognitivo Agente Cognitivo e' um patient de Processo Agente Cognitivo experimenta Processo Agente Cognitivo quer Fisico

consequent

(=> (and (instance ?PP PublicProgram) (experiencer ?PP ?PUBLIC)) (hasPurpose ?PP (exists (?HELPING) (and (instance ?HELPING Helping) (experiencer ?HELPING ?PUBLIC) (instance ?PUBLIC Public)))))	MilitaryProcesses.kif 1383-1392	Processo e' uma instancia de PublicProgram AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade e' uma instancia de Helping AutonomousAgent experimenta Entidade AutonomousAgent e' uma instancia de Public
(=> (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 1293-1303	Processo e' uma instancia de SupportHNAssistance AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de HostNation Processo Processo e' uma instancia de MilitaryOperation Processo e' uma instancia de Helping AutonomousAgent experimenta Processo Processo e' um patient de Processo
(=> (attribute ?X Concierge) (hasPurpose ?X (exists (?HELP) (and (instance ?HELP Helping) (agent ?HELP ?X)))))	Hotel.kif 2415-2421	Concierge e' um atributo de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Helping Entidade e' um agente de Objeto

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

KB Term:			Term intersection

English Word: