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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiologicalProcess

Sigma KEE - BiologicalProcess
BiologicalProcess(biological process)Fere_phenomenon, GSR, SNP, Tarchanoff_phenomenon, ache, activity, affinity, aftereffect, allergen, alternation_of_generations, anamorphic, anamorphism, anamorphosis, anaphase, anaphasic, animate, antagonism, anthropogenesis, anthropogeny, antisepsis, arouse, asepsis, atavism, autolysis, bacteriolysis, bacterise, bacterize, biochemical_mechanism, biogenesis, biogenic, biogenous, biological_process, biology, biosynthesis, black_out, blistering, blow, bodily_function, bodily_process, body_process, brace, caenogenesis, cainogenesis, cathect, cenogenesis, cenogenetic, climax, come_to, coming, compost...

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 10057-10057
No TPTP formula. May not be expressible in strict first order. Merge.kif 10055-10055 Biological process is a subclass of internal change

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13230-13230 The values returned by impairment are subclasses of biological process
No TPTP formula. May not be expressible in strict first order. Food.kif 955-955 Fermentation is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9652-9652 Metabolism is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10297-10297 Pathologic process is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10072-10072 Physiologic process is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10284-10284 Psychological process is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 16-16 Viral cell invasion is a subclass of biological process
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

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 177-177 The number 1 argument of life stage achieved is an instance of biological process

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10066-10070
No TPTP formula. May not be expressible in strict first order. Merge.kif 10059-10064

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2121-2134
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. Mid-level-ontology.kif 8319-8326
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. Mid-level-ontology.kif 11693-11703
No TPTP formula. May not be expressible in strict first order. WMD.kif 981-991


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