Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Serum(serum) |  | antiserum |
| appearance as argument number 1 |
|
|
| (subclass Serum LiquidBodySubstance) | Mid-level-ontology.kif 12314-12314 | Serum is a subclass of liquid body substance |
| (disjoint Serum Blood) | Mid-level-ontology.kif 12315-12315 | Serum is disjoint from blood |
| (documentation Serum EnglishLanguage "Any LiquidBodySubstance other than Blood.") | Mid-level-ontology.kif 12316-12316 | Serum is disjoint from blood |
| appearance as argument number 2 |
|
|
|