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 | connected body parts is an instance of ternary predicate |
| (documentation connectedBodyPartTypes EnglishLanguage "Parts of a healthy organism that are present and connected to each other.") | Anatomy.kif 21-22 | connected body parts is an instance of ternary predicate |
| (domainSubclass connectedBodyPartTypes 1 BodyPart) | Anatomy.kif 24-24 | The number 1 argument of connected body parts is a subclass of body part |
| (domainSubclass connectedBodyPartTypes 2 BodyPart) | Anatomy.kif 25-25 | The number 2 argument of connected body parts is a subclass of body part |
| (domainSubclass connectedBodyPartTypes 3 Organism) | Anatomy.kif 26-26 | The number 3 argument of connected body parts is a subclass of organism |
| 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 | If connected body parts X, Y and Z, W is an instance of Z, and disease or syndrome is not an attribute of V, then All of the following hold: (1) there exist U (2) T such that U is an instance of X (3) T is an instance of Y (4) equal U (5) T (6) U is a part of W (7) T is a part of W (8) U is connected to T |
| (=> (connectedBodyPartTypes ?P1 ?P2 ?O) (connectedBodyPartTypes ?P2 ?P1 ?O)) |
Anatomy.kif 45-47 | If connected body parts X, Y and Z, then connected body parts Y, X and Z |
| consequent |
|
|
| (=> (connectedBodyPartTypes ?P1 ?P2 ?O) (connectedBodyPartTypes ?P2 ?P1 ?O)) |
Anatomy.kif 45-47 | If connected body parts X, Y and Z, then connected body parts Y, X and Z |
| appearance as argument number 0 |
|
|
|