TreeView Knowledge Base Browser - lifeStageAchieved

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

lifeStageAchieved

Sigma KEE - lifeStageAchieved

lifeStageAchieved

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 224-226
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 222-222	O argumento numero 1 de lifeStageAchieved e' uma instancia de Processo Biologico
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 223-223	O argumento numero 2 de lifeStageAchieved e' uma instancia de Atributo Desenvolvimental
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 221-221	lifeStageAchieved e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1535-1535
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1534-1534
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1533-1533
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34343-34343
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34342-34342
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34341-34341

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 237-245	lifeStageAchieved Processo Biologico and Atributo Desenvolvimental AutonomousAgent experimenta Processo Biologico AutonomousAgent e' uma instancia de Atributo Desenvolvimental vale durante o comeco de tempo de existencia de Processo Biologico
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 228-235	lifeStageAchieved Processo Biologico and Atributo Desenvolvimental AutonomousAgent experimenta Processo Biologico AutonomousAgent e' uma instancia de Atributo Desenvolvimental vale durante imediatemente apos tempo de existencia de Processo Biologico

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