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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 10274-10274
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 10272-10272 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 13624-13624 The values returned by impairment are subclasses of biological process
No TPTP formula. May not be expressible in strict first order. Food.kif 3549-3549 Fermentation is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11409-11409 Metabolising is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1934-1934 Nerve firing is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10524-10524 Pathologic process is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10298-10298 Physiologic process is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10511-10511 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 Viral cell invasion is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. english_format.kif 1357-1357 Viral cell invasion is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. french_format.kif 751-751 Viral cell invasion is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 283-283 Viral cell invasion is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. terms-it.txt 286-286 Viral cell invasion is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2435-2435 Viral cell invasion is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 703-703 Viral cell invasion is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 322-322 Viral cell invasion is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. terms-de.txt 581-581 Viral cell invasion is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 772-772 Viral cell invasion is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 287-287 Viral cell invasion is a subclass of biological process

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 226-226 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 10283-10287
No TPTP formula. May not be expressible in strict first order. Merge.kif 10276-10281

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2625-2638
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 661-675
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13542-13551
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 10294-10296
No TPTP formula. May not be expressible in strict first order. Merge.kif 10289-10292
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9918-9925
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 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