TelephoneCommunication - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TelephoneCommunication

TelephoneCommunication(telephone communication)

call, conference_call, crank_call, local_call, long-distance_call, long_distance, phone_call, telephone_call, three-way_calling, toll_call, trunk_call

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 28668-28669
(subclass TelephoneCommunication ArtifactMediatedCommunication)	Mid-level-ontology.kif 28667-28667	Telephone communication is a subclass of artifact mediated communication

appearance as argument number 2

(subclass DirectDialTelephoneCommunication TelephoneCommunication)	Mid-level-ontology.kif 28716-28716	Direct dial telephone communication is a subclass of telephone communication
(subclass OperatorAssistedTelephoneCommunication TelephoneCommunication)	Mid-level-ontology.kif 28685-28685	Operator assisted telephone communication is a subclass of telephone communication
(termFormat EnglishLanguage TelephoneCommunication "telephone communication")	Mid-level-ontology.kif 28670-28670	Operator assisted telephone communication is a subclass of telephone communication

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 28772-28782	If an object is an instance of telephone communication and domestic is an attribute of the object, then there exist another object, a physical and a third object such that the object originates at the other object and the object ends up at the physical and the other object is located at the third object and the physical is located at the third object and the third object is an instance of nation
(=> (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 28789-28801	If an object is an instance of telephone communication and international is an attribute of the object, then there exist another object, a physical,, , a third object and a fourth object such that the object originates at the other object and the object ends up at the physical and the other object is located at the third object and the physical is located at the fourth object and the third object is an instance of nation and the fourth object is an instance of nation and the third object is not equal to the fourth object
(=> (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 28752-28763	If an object is an instance of telephone communication and local is an attribute of the object, then there exist a telecom number, another telecom number,, , an agent,, , another agent and a symbolic string such that the object originates at the agent and the object ends up at the other agent and the telecom number is the telephone number of the agent and the other telecom number is the telephone number of the other agent and the area code in the telecom number is the symbolic string and the area code in the other telecom number is the symbolic string
(=> (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 28672-28683	If a process is an instance of telephone communication, then there exist an agent, another agent,, , a contact site and another contact site such that the process originates at the contact site and the process ends up at the other contact site and the agent can be contacted at the contact site and the other agent can be contacted at the other contact site and the agent is an instance of telephone and the other agent is an instance of telephone and the agent is an instrument for the process and the other agent is an instrument for the process

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 28723-28734	If an entity is an instance of direct dial telephone communication, then there doesn't exist a physical such that the physical is an instance of human and the physical has the purpose there exists another entity such that the physical is an agent of the other entity and the other entity is a subprocess of the entity and the other entity is an instance of telephone communication
(=> (instance ?X VoiceMail) (exists (?TEL) (and (instance ?TEL TelephoneCommunication) (patient ?TEL ?X))))	Mid-level-ontology.kif 28740-28745	If an entity is an instance of voice mail, then there exists a process such that the process is an instance of telephone communication and the entity is a patient of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners