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

KB Term:  Term intersection
English Word: 

Sigma KEE - OperatorAssistedTelephoneCommunication
OperatorAssistedTelephoneCommunication(operator assisted telephone communication)

appearance as argument number 1
-------------------------


(subclass OperatorAssistedTelephoneCommunication TelephoneCommunication) Mid-level-ontology.kif 29634-29634 Operator assisted telephone communication is a subclass of telephone communication
(documentation OperatorAssistedTelephoneCommunication EnglishLanguage "OperatorAssistedTelephoneCommunication refers to TelephoneCommunication where an intermediary person connects origin and destination") Mid-level-ontology.kif 29635-29637 Operator assisted telephone communication is a subclass of telephone communication

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


(termFormat EnglishLanguage OperatorAssistedTelephoneCommunication "operator assisted telephone communication") Mid-level-ontology.kif 29638-29639

antecedent
-------------------------


(=>
    (instance ?X OperatorAssistedTelephoneCommunication)
    (exists (?ORIGIN ?DEST ?OPERATOR)
        (and
            (origin ?X ?ORIGIN)
            (destination ?X ?DEST)
            (instance ?OPERATOR Human)
            (hasPurpose ?OPERATOR
                (exists (?PROC)
                    (and
                        (instance ?PROC IntentionalProcess)
                        (agent ?PROC ?OPERATOR)
                        (subProcess ?PROC ?X)
                        (holdsDuring
                            (ImmediateFutureFn
                                (WhenFn ?PROC))
                            (modalAttribute
                                (exists (?COMM)
                                    (and
                                        (instance ?COMM Communication)
                                        (origin ?COMM ?ORIGIN)
                                        (destination ?COMM ?DEST))) Possibility))))))))		 Mid-level-ontology.kif 29641-29663 If X is an instance of operator assisted telephone communication, then All of the following hold: (1) there exist Y, Z (2) W such that X originates at Y (3) X ends up at Z (4) W is an instance of human (5) W has the purpose there exists V such that V is an instance of intentional process (6) W is an agent of V (7) V is a subprocess of X (8) the statement there exists U such that U is an instance of communication (9) U originates at Y (10) U ends up at Z has the modal force of possibility holds during immediately after the time of existence of V


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners