TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Telex EnglishLanguage "Telex is a Telegraph-like CommunicationDevice that is used to send messages over a TelephoneSystem.")	Communications.kif 174-175
(subclass Telex CommunicationDevice)	Communications.kif 173-173	子類 Telex and 通訊設備

appearance as argument number 2

(termFormat EnglishLanguage Telex "telex")

Communications.kif 176-176

antecedent

(=> (and (destination ?MSG ?TELEX) (instance ?MSG Messaging) (patient ?MSG ?M) (instance ?TELEX Telex)) (exists (?PROC ?TEXT) (and (instrument ?PROC ?TELEX) (result ?PROC ?TEXT) (represents ?TEXT ?M) (instance ?TEXT Text) (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC))))))	Communications.kif 202-214	目的地 Process and Object 例 Process and 訊息患者 Process and Entity 例 Object and Telex Process Entity 儀器 Process and Object 結果 Process and Entity 代表 Entity and Entity 例 Entity and Text 之前開始何時 Process and 開始何時 Process
(=> (instance ?TELEX Telex) (exists (?PRINTER) (and (instance ?PRINTER Printer) (part ?PRINTER ?TELEX))))	Communications.kif 178-183	例 Object and Telex Object 例 Object and 打印機部分 Object and Object
(=> (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	例 Physical and Telex 有目的 Physical and entity Physical and entity 例 entity and 電話系統例 Physical and Telex 例 entity and 訊息起源 entity and Physical 目的地 entity and Physical 起源 entity and Physical 目的地 entity and Physical 路徑 entity and entity

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

例 Physical and Telex
有目的 Physical and entity Physical and entity 例 entity and 電話系統例 Physical and Telex 例 entity and 訊息起源 entity and Physical 目的地 entity and Physical 起源 entity and Physical 目的地 entity and Physical 路徑 entity and entity

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

KB Term:			Term intersection

English Word: