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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10385-10385 病理过程 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 10163-10163 自主过程 是 生理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10184-10184 机体过程 是 生理过程 的 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 13469-13469 ImpairmentFn 的 1 数量 是 生理过程 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21637-21644
No TPTP formula. May not be expressible in strict first order. Merge.kif 14963-14968
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2067-2074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2085-2092
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2103-2110


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