BiologicalProcess - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BiologicalProcess

BiologicalProcess(Processo Biologico)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2895-2895
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10156-10156
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1643-1644
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10154-10154	Processo Biologico e' uma sub-classe de Mudanca Interna

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13492-13492	Os valores retornados por ImpairmentFn sao as sub-classes de Processo Biologico
No TPTP formula. May not be expressible in strict first order.	Food.kif 3542-3542	Fermentation e' uma sub-classe de Processo Biologico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10079-10079	Metabolism e' uma sub-classe de Processo Biologico
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1899-1899	NerveFiring e' uma sub-classe de Processo Biologico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10406-10406	Processo Patologico e' uma sub-classe de Processo Biologico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10180-10180	Processo Fisiologico e' uma sub-classe de Processo Biologico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10393-10393	Processo Psicologico e' uma sub-classe de Processo Biologico
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 16-16	ViralCellInvasion e' uma sub-classe de Processo Biologico
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1073-1073
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1357-1357
No TPTP formula. May not be expressible in strict first order.	french_format.kif 751-751
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 283-283
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 286-286
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2435-2435
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 703-703
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 322-322
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 772-772
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 287-287

appearance as argument number 3

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10165-10169	Processo e' uma instancia de Processo Biologico AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10158-10163	Processo e' uma instancia de Processo Biologico Objeto Objeto e' uma instancia de Organismo eventLocated Processo and Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2162-2175	AutonomousAgent e' uma instancia de Animal Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de AutonomousAgent Transferencia Objeto Transferencia e' uma instancia de Processo Biologico Transferencia e' uma instancia de Remover Transferencia tem como origem AutonomousAgent Objeto e' uma instancia de Sewage Transferencia e' um agente de AutonomousAgent objectTransferred Transferencia and Objeto
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 654-668	Objeto e' uma instancia de Gene Objeto e' situado em Objeto Objeto e' uma instancia de Celula Processo Objeto and Objeto Processo e' uma instancia de Processo Biologico eventLocated Processo and Objeto Processo tem como origem Objeto Objeto e' o resultado de Processo Objeto e' uma instancia de Nucleotide Objeto e' uma &parte de Objeto Objeto e' uma instancia de RNAMolecule Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12210-12219	secretesSubstance Objeto Organico and NaturalSubstance Objeto e' uma instancia de Objeto Organico Processo Entidade Processo e' uma instancia de Processo Biologico eventLocated Processo and Objeto Entidade e' o resultado de Processo Entidade e' uma instancia de NaturalSubstance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 464-473	Objeto e' uma instancia de ChemicalAgent Objeto Processo and Objeto Objeto e' uma instancia de Organismo Processo e' uma instancia de Processo Biologico Objeto e' um instrumento para Processo Objeto e' o resultado de Processo Objeto e' uma copia exata de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10176-10178	Objeto e' uma instancia de Organismo Objeto e' capaz de fazer Processo Biologico no role experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10171-10174	Objeto e' uma instancia de Organismo Objeto e' capaz de fazer Processo Biologico no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8711-8718	Entidade e' uma instancia de Cholesterol Processo Objeto Processo e' uma instancia de Processo Biologico eventLocated Processo and Objeto Objeto e' uma instancia de Liver Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 221-228	Entidade e' uma instancia de Mycotoxin Objeto Processo Objeto e' uma instancia de FungalAgent Processo e' uma instancia de Processo Biologico Objeto e' um instrumento para Processo Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 166-178	Objeto e' uma instancia de Toxin Objeto Processo Objeto e' uma instancia de ToxicOrganism Processo e' uma instancia de Processo Biologico Objeto e' um instrumento para Processo Objeto e' o resultado de Processo Objeto Objeto e' o resultado de Processo Objeto e' uma copia exata de Objeto
No TPTP formula. May not be expressible in strict first order.	WMD.kif 988-998	secretesToxin Organismo and Toxin AutonomousAgent AutonomousAgent e' uma instancia de Organismo Processo Entidade Processo e' uma instancia de Processo Biologico AutonomousAgent experimenta Processo Entidade e' o resultado de Processo Entidade e' uma instancia de Toxin

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