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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Blood

Sigma KEE - Blood
Blood(blood)
arterial_blood, blood, blood_clot, blood_group, blood_stream, blood_type, bloodstream, bloody, clot, coagulum, cord_blood, gore, grume, lifeblood, menorrhea, menstrual_blood, menstrual_flow, venous_blood, whole_blood

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3480-3481
No TPTP formula. May not be expressible in strict first order. Merge.kif 14854-14855
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12637-12637 Blood is equal to food for mosquito
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1665-1665
No TPTP formula. May not be expressible in strict first order. Merge.kif 14853-14853 Blood is a subclass of body substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21628-21628 Blood is a subclass of sol mixture

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10858-10858 Serum is disjoint from blood
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5761-5761 Deoxygenated blood is an instance of blood
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10258-10258 Blood type a is a subclass of blood
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10277-10277 Blood typeA b is a subclass of blood
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10295-10295 Blood type b is a subclass of blood
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10314-10314 Blood type o is a subclass of blood
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10512-10512 Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1012-1012
No TPTP formula. May not be expressible in strict first order. english_format.kif 1236-1236
No TPTP formula. May not be expressible in strict first order. french_format.kif 689-689
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 21-21
No TPTP formula. May not be expressible in strict first order. terms-it.txt 23-23
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2373-2373
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 641-641
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 24-24
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 257-257
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 710-710
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 24-24

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 172-187
No TPTP formula. May not be expressible in strict first order. Medicine.kif 155-170
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11108-11118
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11141-11151
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5775-5782
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5766-5773
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5752-5759
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5743-5750
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5850-5855
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11157-11172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11125-11135
No TPTP formula. May not be expressible in strict first order. Medicine.kif 206-221
No TPTP formula. May not be expressible in strict first order. Medicine.kif 189-204
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1152-1157

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


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 11368-11385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11915-11932
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1947-1958
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5897-5912
No TPTP formula. May not be expressible in strict first order. Medicine.kif 491-503
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10155-10160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10498-10510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10742-10751
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11341-11348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10199-10206
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5990-5995
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11082-11089


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