TreeView Knowledge Base Browser - implementsProtocol

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

implementsProtocol

Sigma KEE - implementsProtocol

implementsProtocol

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4047-4049
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4044-4044	O argumento numero 1 de implementsProtocol e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4045-4045	O argumento numero 2 de implementsProtocol e' uma instancia de ComputerProtocol
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4043-4043	implementsProtocol e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4050-4050	implementsProtocol e' uma sub-relacao de represents

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4051-4051
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4052-4052

consequent

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

ComputingBrands.kif 4058-4063

Programa de Computador e' uma instancia de DHCPProgram
Programa de ComputadorROTO Programa de ComputadorROTO e' uma instancia de DHCPProtocol implementsProtocol Programa de Computador and Programa de ComputadorROTO

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