Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| connectedBodyPartTypes |
| appearance as argument number 1 |
|
| (instance connectedBodyPartTypes TernaryPredicate) | Anatomy.kif 20-20 | |
| (documentation connectedBodyPartTypes EnglishLanguage "Parts of a healthy organism that are present and connected to each other.") | Anatomy.kif 21-22 | |
| (domainSubclass connectedBodyPartTypes 1 BodyPart) | Anatomy.kif 24-24 | |
| (domainSubclass connectedBodyPartTypes 2 BodyPart) | Anatomy.kif 25-25 | |
| (domainSubclass connectedBodyPartTypes 3 Organism) | Anatomy.kif 26-26 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage connectedBodyPartTypes "connected body parts") | Anatomy.kif 23-23 |
| antecedent |
|
|
| (=> (and (connectedBodyPartTypes ?P1 ?P2 ?O) (instance ?OC ?O) (not (attribute ?H DiseaseOrSyndrome))) (exists (?PC1 ?PC2) (and (instance ?PC1 ?P1) (instance ?PC2 ?P2) (not (equal ?PC1 ?PC2)) (part ?PC1 ?OC) (part ?PC2 ?OC) (connected ?PC1 ?PC2)))) |
Anatomy.kif 29-43 | |
| (=> (connectedBodyPartTypes ?P1 ?P2 ?O) (connectedBodyPartTypes ?P2 ?P1 ?O)) |
Anatomy.kif 45-47 |
| consequent |
|
|
| (=> (connectedBodyPartTypes ?P1 ?P2 ?O) (connectedBodyPartTypes ?P2 ?P1 ?O)) |
Anatomy.kif 45-47 |
| appearance as argument number 0 |
|
|
|