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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Directing
Directing

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


(documentation Directing ChineseLanguage "这个 Class 的实例催促听者采取进一步的行动。 Directing 可以是 OrderingRequestingQuestioning。") chinese_format.kif 3265-3266
(documentation Directing EnglishLanguage "Instances of this Class urge some further action among the receivers. A Directing can be an Ordering, a Requesting or a Questioning.") Merge.kif 12260-12262
(subclass Directing LinguisticCommunication) Merge.kif 12259-12259

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


(subclass Ordering Directing) Merge.kif 12264-12264
(subclass Questioning Directing) Merge.kif 12290-12290
(subclass Requesting Directing) Merge.kif 12276-12276
(termFormat ChineseLanguage Directing "指令g") chinese_format.kif 1199-1199
(termFormat EnglishLanguage Directing "directing") english_format.kif 1620-1620

appearance as argument number 4
-------------------------


(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 12118-12118

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


(=>
    (instance ?X DramaticDirecting)
    (exists (?D)
        (and
            (instance ?D Directing)
            (subProcess ?D ?X))))
Mid-level-ontology.kif 16255-16260


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