Cable - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Cable

Cable

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1399-1400
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1398-1398	子類 Cable and EngineeringConnection

appearance as argument number 2

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

Hotel.kif 1401-1401

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2746-2754	例 Object and 連接線例 Object and Cable 部分 Object and Object 例 Object and 公例 Object and 母
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1403-1408	例 Object and Cable Object 例 Object and 電線部分 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1422-1432	例 Object and WirelessNetwork 例 Motion and NetworkCommunication 儀器 Motion and Object 路徑 Motion and Object Object 部分 Object and Object 例 Object and Cable
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 577-586	例 EngineeringComponent and CableModem 例 Process and Communication 儀器 Process and EngineeringComponent EngineeringComponent 例 EngineeringComponent and Cable 儀器 Process and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2728-2733	例 Object and 連接線 Object 例 Object and Cable 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1415-1420	例 Object and WiredInternetConnection Object 部分 Object and Object 例 Object and Cable
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1428-1434	例 Object and WirelessInternetConnection Object 部分 Object and Object 例 Object and Cable

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