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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OfficeAdministrativeServices

Sigma KEE - Telegraph
Telegraph

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


(documentation Telegraph EnglishLanguage "A Device that permits LinguisticCommunication between remote points by means of a code of aural dots and dashes that can be converted into letters of an alphabet.") Mid-level-ontology.kif 1808-1810
(subclass Telegraph CommunicationDevice) Mid-level-ontology.kif 1807-1807
(subclass Telegraph ElectricDevice) Mid-level-ontology.kif 1806-1806

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


(termFormat ChineseLanguage Telegraph "电报") domainEnglishFormat.kif 57274-57274
(termFormat ChineseTraditionalLanguage Telegraph "電報") domainEnglishFormat.kif 57273-57273
(termFormat EnglishLanguage Telegraph "telegraph") domainEnglishFormat.kif 57272-57272

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


(=>
    (instance ?TL TelephoneLine)
    (exists (?T1 ?T2)
        (and
            (or
                (instance ?T1 Telephone)
                (instance ?T1 Telegraph))
            (or
                (instance ?T2 Telephone)
                (instance ?T2 Telegraph))
            (not
                (equal ?T1 ?T2))
            (connects ?TL ?T1 ?T2))))
Mid-level-ontology.kif 3630-3641


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