TreeView Knowledge Base Browser - BiologicalProcess

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

BiologicalProcess

Sigma KEE - BiologicalProcess

BiologicalProcess

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	子類 BiologicalProcess and InternalChange

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13492-13492	範圍子類 ImpairmentFn and BiologicalProcess
No TPTP formula. May not be expressible in strict first order.	Food.kif 3542-3542	子類 Fermentation and BiologicalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10079-10079	子類 Metabolism and BiologicalProcess
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1899-1899	子類 NerveFiring and BiologicalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10406-10406	子類 PathologicProcess and BiologicalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10180-10180	子類 PhysiologicProcess and BiologicalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10393-10393	子類 PsychologicalProcess and BiologicalProcess
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 16-16	子類病毒細胞入侵 and BiologicalProcess
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

域生命階段實現, 1 and BiologicalProcess

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10165-10169	例 Process and BiologicalProcess 體驗者 Process and AutonomousAgent 例 AutonomousAgent and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10158-10163	例 Process and BiologicalProcess Object 例 Object and Organism Process 是 located 在 Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2162-2175	例 AutonomousAgent and Animal 例 Attribute and DiseaseOrSyndrome attribute AutonomousAgent and Attribute Transfer Object 例 Transfer and BiologicalProcess 例 Transfer and Removing 起源 Transfer and AutonomousAgent 例 Object and 污水 agent Transfer and AutonomousAgent objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 654-668	例 Object and Gene 位於 Object and Object 例 Object and Cell Process Object and Object 例 Process and BiologicalProcess Process 是 located 在 Object 起源 Process and Object 結果 Process and Object 例 Object and Nucleotide 部分 Object and Object 例 Object and RNA分子位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12210-12219	天然物質是 OrganicObject 的 secretes 物質例 Object and OrganicObject Process Entity 例 Process and BiologicalProcess Process 是 located 在 Object 結果 Process and Entity 例 Entity and 天然物質
No TPTP formula. May not be expressible in strict first order.	WMD.kif 464-473	例 Object and 化學劑 Object Process and Object 例 Object and Organism 例 Process and BiologicalProcess 儀器 Process and Object 結果 Process and Object 複製 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10176-10178	例 Object and Organism 能力 BiologicalProcess, 體驗者 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10171-10174	例 Object and Organism 能力 BiologicalProcess, agent and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8711-8718	例 Entity and 膽固醇 Process Object 例 Process and BiologicalProcess Process 是 located 在 Object 例 Object and 肝結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 221-228	例 Entity and 黴菌毒素 Object Process 例 Object and 真菌劑例 Process and BiologicalProcess 儀器 Process and Object 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 166-178	例 Object and 毒素 Object Process 例 Object and 有毒生物例 Process and BiologicalProcess 儀器 Process and Object 結果 Process and Object Object 結果 Process and Object 複製 Object and Object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 988-998	毒素是 Organism 的 secretes 毒素 AutonomousAgent 例 AutonomousAgent and Organism Process Entity 例 Process and BiologicalProcess 體驗者 Process and AutonomousAgent 結果 Process and Entity 例 Entity and 毒素

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