CableModem - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CableModem

CableModem(cable modem)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 572-575
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 570-570	Cable modem is a subclass of modem

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 594-594	Radio modem is disjoint from cable modem
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64585-64585

antecedent

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

ComputerInput.kif 577-586

If an engineering component is an instance of cable modem and a process is an instance of communication and the engineering component is an instrument for the process,
then there exists another engineering component such that the other engineering component is an instance of cable and the other engineering component is an instrument for the process and the other engineering component is connected to the engineering component

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