Telegraph - Sigma Knowledge base Browser

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 2277-2279
(subclass Telegraph CommunicationDevice)	Mid-level-ontology.kif 2276-2276	Telegraph is a subclass of communication device
(subclass Telegraph ElectricDevice)	Mid-level-ontology.kif 2275-2275	Telegraph is a subclass of electric device

appearance as argument number 2

(termFormat ChineseLanguage Telegraph "电报")	domainEnglishFormat.kif 57307-57307
(termFormat ChineseTraditionalLanguage Telegraph "電報")	domainEnglishFormat.kif 57306-57306
(termFormat EnglishLanguage Telegraph "telegraph")	domainEnglishFormat.kif 57305-57305

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 4099-4110

If an object is an instance of telephone line,
then there exist another object and a third object such that the other object is an instance of telephone or the other object is an instance of telegraph and the third object is an instance of telephone or the third object is an instance of telegraph and the other object is not equal to the third object and the object connects the other object and the third object

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

KB Term:			Term intersection

English Word: