| 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 27287-27288 | |
| (subclass TelephoneCommunication ArtifactMediatedCommunication) | Mid-level-ontology.kif 27286-27286 |
| appearance as argument number 2 |
|
|
| (subclass DirectDialTelephoneCommunication TelephoneCommunication) | Mid-level-ontology.kif 27335-27335 | |
| (subclass OperatorAssistedTelephoneCommunication TelephoneCommunication) | Mid-level-ontology.kif 27304-27304 | |
| (termFormat EnglishLanguage TelephoneCommunication "telephone communication") | Mid-level-ontology.kif 27289-27289 |
| 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 27391-27401 | |
| (=> (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 27408-27420 | |
| (=> (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 27371-27382 | |
| (=> (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 27291-27302 |
| 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 27342-27353 | |
| (=> (instance ?X VoiceMail) (exists (?TEL) (and (instance ?TEL TelephoneCommunication) (patient ?TEL ?X)))) |
Mid-level-ontology.kif 27359-27364 |
|
|
|