Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BoneTissue
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BoneTissue ConnectiveTissue) | Merge.kif 15485-15485 | Bone tissue is a subclass of connective tissue |
| (subclass BoneTissue AnimalSubstance) | Merge.kif 15486-15486 | Bone tissue is a subclass of animal substance |
| (documentation BoneTissue EnglishLanguage "Rigid Tissue composed largely of calcium that makes up the skeleton of Vertebrates. Note that this Class also includes teeth.") | Merge.kif 15487-15488 | Bone tissue is a subclass of animal substance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BoneTissue "bone tissue") | domainEnglishFormat.kif 64557-64557 |
| antecedent |
|
|
| (=> (instance ?BONE BoneTissue) (exists (?VERT) (and (instance ?VERT Vertebrate) (part ?BONE ?VERT)))) |
Merge.kif 15490-15495 | If X is an instance of bone tissue, then there exists Y such that Y is an instance of vertebrate and X is a part of Y |
| consequent |
|
|
| (=> (instance ?B Bone) (material BoneTissue ?B)) |
Merge.kif 15499-15501 | If X is an instance of bone, then X is made of bone tissue |
|