TelephoneCommunication
|
|
appearance as argument number 1 |
(documentation TelephoneCommunication EnglishLanguage "TelephoneCommunication refers to a Communication that is done through the use of the TelephoneSystem") | Mid-level-ontology.kif 27011-27012 | |
(subclass TelephoneCommunication ArtifactMediatedCommunication) | Mid-level-ontology.kif 27010-27010 | TelephoneCommunication è una sottoclasse di ArtifactMediatedCommunication |
appearance as argument number 2 |
(subclass DirectDialTelephoneCommunication TelephoneCommunication) | Mid-level-ontology.kif 27059-27059 | DirectDialTelephoneCommunication è una sottoclasse di TelephoneCommunication |
(subclass OperatorAssistedTelephoneCommunication TelephoneCommunication) | Mid-level-ontology.kif 27028-27028 | OperatorAssistedTelephoneCommunication è una sottoclasse di TelephoneCommunication |
(termFormat EnglishLanguage TelephoneCommunication "telephone communication") | Mid-level-ontology.kif 27013-27013 |
antecedent |
consequent |
(=> (instance ?X DirectDialTelephoneCommunication) (not (exists (?OPERATOR) (and (instance ?OPERATOR Human) (hasPurpose ?OPERATOR (exists (?PROC) (and (agent ?PROC ?OPERATOR) (subProcess ?PROC ?X) (instance ?PROC TelephoneCommunication)))))))) |
Mid-level-ontology.kif 27066-27077 |
|
(=> (instance ?X VoiceMail) (exists (?TEL) (and (instance ?TEL TelephoneCommunication) (patient ?TEL ?X)))) |
Mid-level-ontology.kif 27083-27088 |