LAN - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LAN

LAN(LAN)

LAN, WLAN, WiFi, ethernet, local_area_network, wireless_fidelity, wireless_local_area_network

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 37-37	LAN is disjointly decomposed into bus network, star network, and ring network
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 38-41
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 36-36	LAN is a subclass of computer network

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 43-43	Bus network is a subclass of LAN
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 53-53	Ring network is a subclass of LAN
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 49-49	Star network is a subclass of LAN
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33199-33199
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33198-33198
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33197-33197

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