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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AVCTP
AVCTP(Audio/Video Control Transport Protocol)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2142-2143
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2139-2140
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2136-2138
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2145-2147
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2149-2149 Audio/Video Control Transport Protocol is a subclass of computer program

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2152-2152
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2157-2157
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2151-2151
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2156-2156
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2150-2150
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2155-2155
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2153-2153
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2158-2158


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners