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 25307-25308
(subclass TelephoneCommunication ArtifactMediatedCommunication) Mid-level-ontology.kif 25306-25306

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


(subclass DirectDialTelephoneCommunication TelephoneCommunication) Mid-level-ontology.kif 25355-25355
(subclass OperatorAssistedTelephoneCommunication TelephoneCommunication) Mid-level-ontology.kif 25324-25324
(termFormat EnglishLanguage TelephoneCommunication "telephone communication") Mid-level-ontology.kif 25309-25309

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 25410-25420
(=>
    (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 25427-25439
(=>
    (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 25392-25403
(=>
    (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 25311-25322

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 25362-25373
(=>
    (instance ?X VoiceMail)
    (exists (?TEL)
        (and
            (instance ?TEL TelephoneCommunication)
            (patient ?TEL ?X))))
Mid-level-ontology.kif 25379-25384


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