Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| connectedBodyPart |
| appearance as argument number 1 |
|
| (instance connectedBodyPart TransitiveRelation) | Mid-level-ontology.kif 13456-13456 | connected is an instance of transitive relation |
| (instance connectedBodyPart BinaryPredicate) | Mid-level-ontology.kif 13457-13457 | connected is an instance of binary predicate |
| (documentation connectedBodyPart EnglishLanguage "A Relation between Classes of parts of a Healthy Animal that are connected.") | Mid-level-ontology.kif 13458-13459 | connected is an instance of binary predicate |
| (domainSubclass connectedBodyPart 1 BodyPart) | Mid-level-ontology.kif 13462-13462 | The number 1 argument of connected is a subclass of body part |
| (domainSubclass connectedBodyPart 2 BodyPart) | Mid-level-ontology.kif 13463-13463 | The number 2 argument of connected is a subclass of body part |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage connectedBodyPart "a %1 is connected to a %2") | Mid-level-ontology.kif 13460-13460 | |
| (termFormat EnglishLanguage connectedBodyPart "connected") | Mid-level-ontology.kif 13461-13461 |
| antecedent |
|
|
| (=> (and (connectedBodyPart ?A ?B) (attribute ?H Healthy)) (exists (?AI ?BI) (and (instance ?AI ?A) (instance ?BI ?B) (part ?AI ?H) (part ?BI ?H) (connected ?AI ?BI)))) |
Mid-level-ontology.kif 13467-13477 | If a X is connected to a Y and healthy is an attribute of Z, then there exist W, V such that W is an instance of X, V is an instance of Y, W is a part of Z, V is a part of Z, and W is connected to V |
| consequent |
|
|
| (=> (muscleOrigin ?MC ?BPC) (connectedBodyPart ?MC ?BPC)) |
Anatomy.kif 1713-1715 | If the origin of X is Y, then a X is connected to a Y |
| (=> (muscleInsertion ?MC ?BPC) (connectedBodyPart ?MC ?BPC)) |
Anatomy.kif 1763-1765 | If the insertion point of X is Y, then a X is connected to a Y |
| appearance as argument number 0 |
|
|
|