Telex - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Communications.kif 174-175
No TPTP formula. May not be expressible in strict first order.	Communications.kif 173-173	子類 Telex and 通訊設備

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Communications.kif 176-176

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Communications.kif 178-183	例 Object and Telex Object 例 Object and 打印機部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.

Communications.kif 185-200