Telephoning(致电) |
appearance as argument number 1 |
(documentation Telephoning EnglishLanguage "A Telephoning is a Communication in which the instrument is a Telephone, and which typically includes an instance of Speaking as a subProcess.") | Mid-level-ontology.kif 2954-2957 | |
(externalImage Telephoning "http://articulatesoftware.com/SUMOpictures/telephone/ call.png") | pictureList.kif 312-312 | |
(subclass Telephoning Communication) | Mid-level-ontology.kif 2952-2952 | 致电 是 沟通 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage Telephoning "致电") | domainEnglishFormat.kif 57334-57334 | |
(termFormat ChineseTraditionalLanguage Telephoning "致電") | domainEnglishFormat.kif 57333-57333 | |
(termFormat EnglishLanguage Telephoning "telephoning") | domainEnglishFormat.kif 57332-57332 |
antecedent |
(=> (instance ?TEL Telephoning) (exists (?DEVICE) (and (instance ?DEVICE Telephone) (instrument ?TEL ?DEVICE)))) |
Mid-level-ontology.kif 2959-2964 | |
(=> (instance ?TEL Telephoning) (exists (?SPEAK ?AGENT) (and (instance ?SPEAK Speaking) (subProcess ?SPEAK ?TEL) (=> (agent ?TEL ?AGENT) (agent ?SPEAK ?AGENT))))) |
Mid-level-ontology.kif 2966-2974 |
consequent |