TreeView Knowledge Base Browser - WirelessNetwork

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

WirelessNetwork

Sigma KEE - WirelessNetwork

WirelessNetwork(wireless network)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1416-1417
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1413-1414
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1410-1411
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1419-1420
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1408-1408	Wireless network is a subclass of computer network

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1829-1829	AirPlay is a subclass of wireless network
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1484-1484	Bluetooth network is a subclass of wireless network
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1473-1473	Cell network is a subclass of wireless network
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1434-1434	Wi-fi is a subclass of wireless network
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65741-65741

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1422-1432	If an object is an instance of wireless network and a motion is an instance of network communication and the object is an instrument for the motion and another object is path along which the motion occurs, then there exists a third object such that the third object is a part of the other object and the third object is not an instance of cable
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1540-1545	If a process is an instance of communication over wireless network, then there exists another process such that the other process is an instance of radiating electromagnetic and the other process is a subprocess of the process

consequent

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

ComputingBrands.kif 1820-1827

If an entity is an instance of computer and Standalone mode is an attribute of the entity holds during a time position,
then the entity is capable of doing communication over wireless network as a origin doesn't hold during the time position

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