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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TelephoneSystem
TelephoneSystem

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


(documentation TelephoneSystem EnglishLanguage "A TelephoneSystem consists of a complete interconnection of Telephones, MainTelephoneLines, and other components that work together to make telephonic communication possible from point to point in a given area.") Communications.kif 33-36
(subclass TelephoneSystem CommunicationSystem) Communications.kif 32-32

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


(termFormat ChineseLanguage TelephoneSystem "电话系统") domainEnglishFormat.kif 57326-57326
(termFormat ChineseTraditionalLanguage TelephoneSystem "電話系統") domainEnglishFormat.kif 57325-57325
(termFormat EnglishLanguage TelephoneSystem "telephone system") domainEnglishFormat.kif 57324-57324

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


(=>
    (instance ?SYSTEM TelephoneSystem)
    (exists (?LINE)
        (and
            (instance ?LINE MainTelephoneLine)
            (engineeringSubcomponent ?LINE ?SYSTEM))))
Communications.kif 52-57
(=>
    (instance ?SYSTEM TelephoneSystem)
    (exists (?PHONE)
        (and
            (instance ?PHONE Telephone)
            (engineeringSubcomponent ?PHONE ?SYSTEM))))
Communications.kif 40-45

consequent
-------------------------


(=>
    (instance ?TELEX Telex)
    (hasPurpose ?TELEX
        (exists (?SYS ?TELEX2 ?MSG)
            (and
                (instance ?SYS TelephoneSystem)
                (instance ?TELEX2 Telex)
                (instance ?MSG Messaging)
                (or
                    (and
                        (origin ?MSG ?TELEX)
                        (destination ?MSG ?TELEX2))
                    (and
                        (origin ?MSG ?TELEX2)
                        (destination ?MSG ?TELEX)))
                (path ?MSG ?SYS)))))
Communications.kif 185-200
(=>
    (instance ?X TelephoneCradle)
    (hasPurpose ?X
        (exists (?SYS ?WIRE)
            (and
                (instance ?SYS TelephoneSystem)
                (instance ?WIRE WireLine)
                (connectsEngineeringComponents ?WIRE ?X ?SYS)))))
Communications.kif 64-71


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