Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TelephoneCommunication

 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 27011-27012
(subclass TelephoneCommunication ArtifactMediatedCommunication) Mid-level-ontology.kif 27010-27010 TelephoneCommunication e' uma sub-classe de ArtifactMediatedCommunication

appearance as argument number 2
-------------------------


(subclass DirectDialTelephoneCommunication TelephoneCommunication) Mid-level-ontology.kif 27059-27059 DirectDialTelephoneCommunication e' uma sub-classe de TelephoneCommunication
(subclass OperatorAssistedTelephoneCommunication TelephoneCommunication) Mid-level-ontology.kif 27028-27028 OperatorAssistedTelephoneCommunication e' uma sub-classe de TelephoneCommunication
(termFormat EnglishLanguage TelephoneCommunication "telephone communication") Mid-level-ontology.kif 27013-27013

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 27113-27123
(=>
    (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 27130-27142
(=>
    (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 27095-27106
(=>
    (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 27015-27026

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 27066-27077
(=>
    (instance ?X VoiceMail)
    (exists (?TEL)
        (and
            (instance ?TEL TelephoneCommunication)
            (patient ?TEL ?X))))		 Mid-level-ontology.kif 27083-27088


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

Show without tree


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