connectedBodyPart |
appearance as argument number 1 |
(documentation connectedBodyPart EnglishLanguage "A Relation between Classes of parts of a Healthy Animal that are connected.") | Mid-level-ontology.kif 11958-11959 | |
(domainSubclass connectedBodyPart 1 BodyPart) | Mid-level-ontology.kif 11962-11962 | connectedBodyPart の数値 1 引数は 体の部分 のsubclass では %n |
(domainSubclass connectedBodyPart 2 BodyPart) | Mid-level-ontology.kif 11963-11963 | connectedBodyPart の数値 2 引数は 体の部分 のsubclass では %n |
(instance connectedBodyPart BinaryPredicate) | Mid-level-ontology.kif 11957-11957 | connectedBodyPart は 2進述語 の instance では %n |
(instance connectedBodyPart TransitiveRelation) | Mid-level-ontology.kif 11956-11956 | connectedBodyPart は 推移関係 の instance では %n |
appearance as argument number 2 |
(format EnglishLanguage connectedBodyPart "a %1 is connected to a %2") | Mid-level-ontology.kif 11960-11960 | |
(termFormat EnglishLanguage connectedBodyPart "connected") | Mid-level-ontology.kif 11961-11961 |
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 11967-11977 |
consequent |
appearance as argument number 0 |
(connectedBodyPart Esophagus Stomach) | Mid-level-ontology.kif 12064-12064 | connectedBodyPart Esophagus and Stomach |
(connectedBodyPart Intestine Rectum) | Mid-level-ontology.kif 12066-12066 | connectedBodyPart Intestine and Rectum |
(connectedBodyPart Mouth Esophagus) | Mid-level-ontology.kif 12063-12063 | connectedBodyPart Mouth and Esophagus |
(connectedBodyPart Mouth Trachea) | Mid-level-ontology.kif 12090-12090 | connectedBodyPart Mouth and Trachea |
(connectedBodyPart Nose Trachea) | Mid-level-ontology.kif 12091-12091 | connectedBodyPart Nose and Trachea |
(connectedBodyPart Rectum Anus) | Mid-level-ontology.kif 12067-12067 | connectedBodyPart Rectum and Anus |
(connectedBodyPart Stomach Intestine) | Mid-level-ontology.kif 12065-12065 | connectedBodyPart Stomach and Intestine |
(connectedBodyPart Trachea Lung) | Mid-level-ontology.kif 12092-12092 | connectedBodyPart Trachea and Lung |