TreeView Knowledge Base Browser - NetworkCommunicationFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

NetworkCommunicationFn

Sigma KEE - NetworkCommunicationFn

NetworkCommunicationFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1526-1526
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1525-1525
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1523-1524
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1527-1528
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1521-1521	Le nombre 1 argument de NetworkCommunicationFn est une sous-classe de ComputerNetwork
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1519-1519	NetworkCommunicationFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1520-1520	Les valeurs retourn�es par NetworkCommunicationFn sont des sous-classes de NetworkCommunication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1532-1532
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1531-1531
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1530-1530
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1533-1533
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1537-1537
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1536-1536
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1535-1535
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1538-1538

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1579-1588	Processus est une instance de NetworkCommunicationFn BluetoothNetwork irradier est une instance de RadiatingElectromagnetic irradier est un sous-processus de processus carrierFrequency irradier and nombre r�el 1 billion Hertzs (s) nombre r�el est plus grand que 2.4 nombre r�el est moins que 2.485
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1860-1870	Processus est une instance de NetworkCommunicationFn AirPlay entit� entit� est une instance de TelevisionSet processus aboutit � entit� entit� entit� est une instance de SpeakerDevice processus aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1902-1907	Processus est une instance de NetworkCommunicationFn AirPrint entit� entit� est une instance de Printer processus aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1540-1545	Processus est une instance de NetworkCommunicationFn WirelessNetwork processus processus est une instance de RadiatingElectromagnetic processus est un sous-processus de processus

consequent

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

ComputingBrands.kif 1820-1827

Entit� est une instance de Computer AirplaneMode est un attribut de entit� pendant position temporel
entit� est capable de faire NetworkCommunicationFn WirelessNetwork dans le r�le origin pendant position temporel

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