TreeView Knowledge Base Browser - ComputerProgramming

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ComputerProgramming

Sigma KEE - ComputerProgramming

ComputerProgramming

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3762-3762
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16859-16860
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1709-1709
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16858-16858	ComputerProgramming e' uma sub-classe de Desenvolvimento de Conteudo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16362-16362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16361-16361
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16360-16360

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3870-3882	softwareVersion Programa de Computador and CurrentVersion Processo e' uma instancia de ComputerProgramming Programa de Computador e' um patient de Processo Processo Processo e' uma instancia de ComputerProgramming Processo e' igual a Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo Programa de Computador e' um patient de Processo softwareVersion Programa de Computador and PreviousVersion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16862-16867	Processo e' uma instancia de ComputerProgramming Entidade Entidade e' uma instancia de Programa de Computador Entidade e' o resultado de Processo

consequent

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

ComputingBrands.kif 3870-3882

softwareVersion Programa de Computador and CurrentVersion Processo e' uma instancia de ComputerProgramming Programa de Computador e' um patient de Processo
Processo Processo e' uma instancia de ComputerProgramming Processo e' igual a Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo Programa de Computador e' um patient de Processo softwareVersion Programa de Computador and PreviousVersion

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