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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Directing
Directing(指令g)

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 12993-12995
(subclass Directing LinguisticCommunication) Merge.kif 12992-12992 指令g语言交流subclass

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


(subclass Ordering Directing) Merge.kif 12997-12997 命令指令gsubclass
(subclass Questioning Directing) Merge.kif 13023-13023 询问指令gsubclass
(subclass Requesting Directing) Merge.kif 13009-13009 要求指令gsubclass
(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 12851-12851 沟通 详尽无遗地 partition陈述, 假如, 指令g, 承诺, 表示, 和 声明

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


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


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