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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhysiologicProcess

 Sigma KEE - PhysiologicProcess
PhysiologicProcess(processus physiologique)

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 10182-10183
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 10180-10180 Processus physiologique est une sous-classe de processus biologique

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10407-10407 Processus pathologique est disjoint de processus physiologique
No TPTP formula. May not be expressible in strict first order. Merge.kif 10185-10185 AutonomicProcess est une sous-classe de processus physiologique
No TPTP formula. May not be expressible in strict first order. Merge.kif 10206-10206 Fonction physiologique est une sous-classe de processus physiologique
No TPTP formula. May not be expressible in strict first order. emotion.kif 1367-1367 PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique
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 13491-13491 Le nombre 1 argument de ImpairmentFn est une sous-classe de processus physiologique

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21636-21643
No TPTP formula. May not be expressible in strict first order. Merge.kif 14985-14990
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 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