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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Directing

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 12932-12934
(subclass Directing LinguisticCommunication) Merge.kif 12931-12931

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


(subclass Ordering Directing) Merge.kif 12936-12936
(subclass Questioning Directing) Merge.kif 12962-12962
(subclass Requesting Directing) Merge.kif 12948-12948
(termFormat ChineseLanguage Directing "指令g") chinese_format.kif 1199-1199
(termFormat EnglishLanguage Directing "directing") english_format.kif 1615-1615

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


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

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


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


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 3.0 is open source software produced by Articulate Software and its partners