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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bleeding

Sigma KEE - Bleeding
Bleeding(bleeding)
bleed, flow, hemorrhage, menstruate, shed_blood

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21379-21380
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5885-5885
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6171-6171
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6172-6172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21377-21377 Bleeding is a subclass of autonomic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21378-21378 Bleeding is a subclass of liquid motion

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6315-6315 Bleedout is a subclass of bleeding
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11309-11309
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11308-11308
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11307-11307

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 80-94
No TPTP formula. May not be expressible in strict first order. Medicine.kif 44-59
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21395-21403
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21389-21393
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21382-21387

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 425-432
No TPTP formula. May not be expressible in strict first order. Medicine.kif 20-39
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1050-1066


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