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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Agent
Agent

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


(documentation Agent JapaneseLanguage "自分で行動でき、さらに世界に変化をもたらす何か、もしくは 誰か。") japanese_format.kif 275-276
(documentation Agent SpanishLanguage "Algo o alguien que puede actuar por cuenta propia y producir cambios en el mundo.") spanish_format.kif 325-326

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


(termFormat FrenchLanguage Agent "agent") french_format.kif 524-524
(termFormat Hindi Agent "kartaa") terms-hindi.txt 55-55
(termFormat ItalianLanguage Agent "Agente") terms-it.txt 58-58
(termFormat JapaneseLanguage Agent "代理(人)") japanese_format.kif 2209-2209
(termFormat PortugueseLanguage Agent "Agente") portuguese_format.kif 476-476
(termFormat cb Agent "ahente") terms-cb.txt 60-60
(termFormat cz Agent "agent") terms-cz.txt 91-91
(termFormat ro Agent "agent") relations-ro.kif 545-545
(termFormat tg Agent "kinatawan") terms-tg.txt 59-59

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


(=>
    (instance ?AT ApplyingTourniquet)
    (exists (?A ?P ?T)
        (and
            (instance ?A Agent)
            (instance ?P Mammal)
            (holdsDuring
                (WhenFn ?AT)
                (attribute ?T Tourniquet))
            (destination ?AT ?P)
            (agent ?AT ?A)
            (objectTransferred ?AT ?T))))
Medicine.kif 67-78


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