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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InflammationFn

 Sigma KEE - InflammationFn
InflammationFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12438-12439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12436-12436 Le nombre 1 argument de InflammationFn est une instance de partie du corps
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12435-12435 InflammationFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12437-12437 Le domaine de InflammationFn est une instance de Inflammation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12441-12441
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12440-12440

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6015-6021
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4389-4395
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6201-6207

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11438-11438 Pericarditis est InflammationFn Pericardium
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5227-5227 AllergicRhinitis est un sous-attribut de InflammationFn Nose
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2978-2978 NeuroInflammation est une sous-classe de InflammationFn NervousSystem
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5047-5047 Pyelonephritis est une sous-classe de InflammationFn Kidney


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