|
|
   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 27056-27057 | |
| (subclass TelephoneCommunication ArtifactMediatedCommunication) | Mid-level-ontology.kif 27055-27055 |
| appearance as argument number 2 |
|
|
| (subclass DirectDialTelephoneCommunication TelephoneCommunication) | Mid-level-ontology.kif 27104-27104 | |
| (subclass OperatorAssistedTelephoneCommunication TelephoneCommunication) | Mid-level-ontology.kif 27073-27073 | |
| (termFormat EnglishLanguage TelephoneCommunication "telephone communication") | Mid-level-ontology.kif 27058-27058 |
| 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 27158-27168 | |
| (=> (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 27175-27187 | |
| (=> (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 27140-27151 | |
| (=> (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 27060-27071 |
| 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 27111-27122 | |
| (=> (instance ?X VoiceMail) (exists (?TEL) (and (instance ?TEL TelephoneCommunication) (patient ?TEL ?X)))) |
Mid-level-ontology.kif 27128-27133 |
|
|
|