|
|
   BloodTypeO
|
|
|
| appearance as argument number 1 |
|
|
| (documentation BloodTypeO EnglishLanguage "The number of times the Heart of a Mammal beats in a given period. A normal rate for a Human at rest is 60 beats per minute although this can vary significantly with age, fitness level and health status.") | Mid-level-ontology.kif 9906-9909 | |
| (documentation BloodTypeO EnglishLanguage "The subclass of Blood that contains neither AntigenA nor AntigenB.") | Mid-level-ontology.kif 9883-9884 | |
| (externalImage BloodTypeO "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Plasma-donation.png") | pictureList.kif 8388-8388 | |
| (subclass BloodTypeO Blood) | Mid-level-ontology.kif 9882-9882 | Blood type o is a subclass of blood |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BloodTypeO "血型o") | domainEnglishFormat.kif 11390-11390 | |
| (termFormat ChineseTraditionalLanguage BloodTypeO "血型o") | domainEnglishFormat.kif 11389-11389 | |
| (termFormat EnglishLanguage BloodTypeO "blood type o") | domainEnglishFormat.kif 11388-11388 |
| antecedent |
|
|
| (=> (instance ?B BloodTypeO) (not (exists (?A) (and (instance ?A AntigenA) (part ?A ?B))))) |
Mid-level-ontology.kif 9886-9892 |
|
| (=> (instance ?B BloodTypeO) (not (exists (?A) (and (instance ?A AntigenB) (part ?A ?B))))) |
Mid-level-ontology.kif 9894-9900 |
|
|
|
|
