TreeView Knowledge Base Browser - PhysiologicProcess

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

PhysiologicProcess

Sigma KEE - PhysiologicProcess

PhysiologicProcess

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2896-2897
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10196-10197
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1645-1646
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10194-10194	子類 PhysiologicProcess and BiologicalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10421-10421	不相交的 PathologicProcess and PhysiologicProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10199-10199	子類自主過程 and PhysiologicProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10220-10220	子類 OrganismProcess and PhysiologicProcess
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1367-1367	子類 PhysiologicalResponseToEmotionalState and PhysiologicProcess
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1074-1074
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1359-1359
No TPTP formula. May not be expressible in strict first order.	french_format.kif 752-752
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 284-284
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 287-287
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2436-2436
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 704-704
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 323-323
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 773-773
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 288-288

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 13515-13515

域子類 ImpairmentFn, 1 and PhysiologicProcess

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21664-21671	例 Entity and 蜜糖 Process AutonomousAgent 例 Process and PhysiologicProcess agent Process and AutonomousAgent 例 AutonomousAgent and 蜜蜂結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15009-15014	例 Entity and BodyPart Process 例 Process and PhysiologicProcess 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2060-2067	例 Entity and Excrement Process AutonomousAgent 例 AutonomousAgent and Organism 例 Process and PhysiologicProcess 結果 Process and Entity agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2078-2085	例 Entity and Feces Process Object 例 Process and PhysiologicProcess 儀器 Process and Object 例 Object and 腸結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2096-2103	例 Entity and Urine Process Object 例 Process and PhysiologicProcess 儀器 Process and Object 例 Object and 腎結果 Process and Entity

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