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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiologicalProcess

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 10170-10170
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 10168-10168 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 13516-13516 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 10107-10107 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 10420-10420 Processo Patologico e' uma sub-classe de Processo Biologico
No TPTP formula. May not be expressible in strict first order. Merge.kif 10194-10194 Processo Fisiologico e' uma sub-classe de Processo Biologico
No TPTP formula. May not be expressible in strict first order. Merge.kif 10407-10407 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 10179-10183
No TPTP formula. May not be expressible in strict first order. Merge.kif 10172-10177

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2155-2168
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 654-668
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12238-12247
No TPTP formula. May not be expressible in strict first order. WMD.kif 464-473
No TPTP formula. May not be expressible in strict first order. Merge.kif 10190-10192
No TPTP formula. May not be expressible in strict first order. Merge.kif 10185-10188
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8739-8746
No TPTP formula. May not be expressible in strict first order. WMD.kif 221-228
No TPTP formula. May not be expressible in strict first order. WMD.kif 166-178
No TPTP formula. May not be expressible in strict first order. WMD.kif 988-998


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