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 27023-27024 | |
(subclass TelephoneCommunication ArtifactMediatedCommunication) | Mid-level-ontology.kif 27022-27022 |
appearance as argument number 2 |
(subclass DirectDialTelephoneCommunication TelephoneCommunication) | Mid-level-ontology.kif 27071-27071 | |
(subclass OperatorAssistedTelephoneCommunication TelephoneCommunication) | Mid-level-ontology.kif 27040-27040 | |
(termFormat EnglishLanguage TelephoneCommunication "telephone communication") | Mid-level-ontology.kif 27025-27025 |
antecedent |
(=> (and (instance ?X TelephoneCommunication) (attribute ?X Domestic)) (exists (?ORIGIN ?DEST ?COUNTRY) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (located ?ORIGIN ?COUNTRY) (located ?DEST ?COUNTRY) (instance ?COUNTRY Nation)))) |
Mid-level-ontology.kif 27125-27135 | |
(=> (and (instance ?X TelephoneCommunication) (attribute ?X International)) (exists (?ORIGIN ?DEST ?CTRY1 ?CTRY2) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (located ?ORIGIN ?CTRY1) (located ?DEST ?CTRY2) (instance ?CTRY1 Nation) (instance ?CTRY2 Nation) (not (equal ?CTRY1 ?CTRY2))))) |
Mid-level-ontology.kif 27142-27154 | |
(=> (and (instance ?X TelephoneCommunication) (attribute ?X Local)) (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (telephoneNumber ?TEL1 ?ORIGIN) (telephoneNumber ?TEL2 ?DEST) (telecomAreaCode ?CODE ?TEL1) (telecomAreaCode ?CODE ?TEL2)))) |
Mid-level-ontology.kif 27107-27118 | |
(=> (instance ?X TelephoneCommunication) (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (siteForContact ?ORIGIN ?TEL1) (siteForContact ?DEST ?TEL2) (instance ?TEL1 Telephone) (instance ?TEL2 Telephone) (instrument ?X ?TEL1) (instrument ?X ?TEL2)))) |
Mid-level-ontology.kif 27027-27038 |
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 27078-27089 | |
(=> (instance ?X VoiceMail) (exists (?TEL) (and (instance ?TEL TelephoneCommunication) (patient ?TEL ?X)))) |
Mid-level-ontology.kif 27095-27100 |