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

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	TelephoneCommunication ist eine teilkategorie von ArtifactMediatedCommunication

appearance as argument number 2

(subclass DirectDialTelephoneCommunication TelephoneCommunication)	Mid-level-ontology.kif 27104-27104	DirectDialTelephoneCommunication ist eine teilkategorie von TelephoneCommunication
(subclass OperatorAssistedTelephoneCommunication TelephoneCommunication)	Mid-level-ontology.kif 27073-27073	OperatorAssistedTelephoneCommunication ist eine teilkategorie von TelephoneCommunication
(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	Wenn Object ist ein fall von TelephoneCommunication %n{nicht} und Domestic ist ein attribut von Object %n{nicht}, dann es gibt Object, Physical, and und Object um Object beginnet an Object %n{nicht} und Object endet an Physical %n{nicht} und Object befindet sich an %n{nicht} und Physical befindet sich an %n{nicht} und ** Object ist ein fall von Nation %n{nicht}
(=> (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	Wenn Object ist ein fall von TelephoneCommunication %n{nicht} und International ist ein attribut von Object %n{nicht}, dann es gibt Object, Physical,, , Object, and und Object um Object beginnet an Object %n{nicht} und Object endet an Physical %n{nicht} und Object befindet sich an %n{nicht} und Physical befindet sich an %n{nicht} und Object ist ein fall von Nation %n{nicht} und Object ist ein fall von Nation %n{nicht} und Object ist gleich Object nicht
(=> (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	Wenn Object ist ein fall von TelephoneCommunication %n{nicht} und Local ist ein attribut von Object %n{nicht}, dann es gibt TelecomNumber, TelecomNumber,, , AutonomousAgent,, , AutonomousAgent, and und SymbolicString um Object beginnet an AutonomousAgent %n{nicht} und Object endet an AutonomousAgent %n{nicht} und telephoneNumber TelecomNumber and AutonomousAgent und telephoneNumber TelecomNumber and AutonomousAgent und telecomAreaCode SymbolicString and TelecomNumber und telecomAreaCode SymbolicString and ** TelecomNumber
(=> (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	Wenn Process ist ein fall von TelephoneCommunication %n{nicht}, dann es gibt AutonomousAgent, AutonomousAgent,, , ContactSite, and und ContactSite um Process beginnet an ContactSite %n{nicht} und Process endet an ContactSite %n{nicht} und siteForContact ContactSite and AutonomousAgent und siteForContact ContactSite and AutonomousAgent und AutonomousAgent ist ein fall von Telephone %n{nicht} und AutonomousAgent ist ein fall von Telephone %n{nicht} und AutonomousAgent ist ein instrument fuer Process %n{nicht} und AutonomousAgent ist ein instrument fuer ** Process %n{nicht}

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	Wenn Entity ist ein fall von DirectDialTelephoneCommunication %n{nicht}, dann es gibt nicht Physical um Physical ist ein fall von Human %n{nicht} und Physical hat Zweck von es gibt entity um entity ist der agent von Physical %n{nicht} und entity ist ein subProzess von Entity und ** entity ist ein fall von TelephoneCommunication %n{nicht} %n{nicht}
(=> (instance ?X VoiceMail) (exists (?TEL) (and (instance ?TEL TelephoneCommunication) (patient ?TEL ?X))))	Mid-level-ontology.kif 27128-27133	Wenn Entity ist ein fall von VoiceMail %n{nicht}, dann es gibt Process um Process ist ein fall von TelephoneCommunication %n{nicht} und Entity ist ein patient von ** Process %n{nicht}

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