TreeView Knowledge Base Browser - AirplaneMode

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AirplaneMode

AirplaneMode(Standalone mode)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1785-1788
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1780-1783
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1773-1778
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1790-1798
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1772-1772	Standalone mode is an instance of device state attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1817-1817
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1802-1802
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1812-1812
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1807-1807
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1816-1816
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1801-1801
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1811-1811
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1806-1806
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1800-1800
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1805-1805
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1810-1810
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1815-1815
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1803-1803
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1813-1813
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1818-1818
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1808-1808

antecedent

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