Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of network communication function is a subclass of computer network
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1519-1519 Network communication function is an instance of unary function
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1520-1520 The values returned by network communication function are subclasses of network communication

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
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1860-1870
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1902-1907
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1540-1545

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1820-1827


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