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

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


(subclass DirectDialTelephoneCommunication TelephoneCommunication) Mid-level-ontology.kif 28166-28166 Direct dial telephone communication is a subclass of telephone communication
(subclass OperatorAssistedTelephoneCommunication TelephoneCommunication) Mid-level-ontology.kif 28135-28135 Operator assisted telephone communication is a subclass of telephone communication
(termFormat EnglishLanguage TelephoneCommunication "telephone communication") Mid-level-ontology.kif 28120-28120 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 28222-28232
(=>
    (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 28239-28251
(=>
    (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 28202-28213
(=>
    (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 28122-28133

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 28173-28184
(=>
    (instance ?X VoiceMail)
    (exists (?TEL)
        (and
            (instance ?TEL TelephoneCommunication)
            (patient ?TEL ?X))))
Mid-level-ontology.kif 28190-28195


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