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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cable

Sigma KEE - Cable
Cable(cable)cable, coax, coax_cable, coaxial_cable, electrical_cable, ethernet_cable, line, phone_cord, phone_line, power_cable, power_line, printer_cable, subscriber_line, telephone_circuit, telephone_cord, telephone_line, transmission_line

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 is a subclass of engineering connection

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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1403-1408

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1422-1432
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 577-586
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2728-2733
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1415-1420
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1428-1434


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