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 生理过程 是 生物过程 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10421-10421 病理过程 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 10199-10199 自主过程 是 生理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10220-10220 机体过程 是 生理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. emotion.kif 1367-1367 PhysiologicalResponseToEmotionalState 是 生理过程 的 subclass
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 数量 是 生理过程 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21664-21671
No TPTP formula. May not be expressible in strict first order. Merge.kif 15009-15014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2060-2067
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2078-2085
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2096-2103


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