Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Breast
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Breast AnimalAnatomicalStructure) | Mid-level-ontology.kif 14445-14445 | Breast is a subclass of animal anatomical structure |
| (subclass Breast Organ) | Mid-level-ontology.kif 14446-14446 | Breast is a subclass of organ |
| (documentation Breast EnglishLanguage "The paired Organs which are part of the chests of Primates.") | Mid-level-ontology.kif 14447-14448 | Breast is a subclass of organ |
| (externalImage Breast "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Breast_anatomy_normal_scheme.png") | pictureList.kif 4562-4562 | Breast is a subclass of organ |
| appearance as argument number 2 |
|
|
| (subclass Bust Breast) | Mid-level-ontology.kif 14473-14473 | Bust is a subclass of breast |
| (termFormat EnglishLanguage Breast "breast") | domainEnglishFormat.kif 11903-11903 | Bust is a subclass of breast |
| (termFormat ChineseTraditionalLanguage Breast "乳房") | domainEnglishFormat.kif 11904-11904 | Bust is a subclass of breast |
| (termFormat ChineseLanguage Breast "乳房") | domainEnglishFormat.kif 11905-11905 | Bust is a subclass of breast |
| antecedent |
|
|
| (=> (instance ?B Breast) (exists (?T) (and (instance ?T Torso) (part ?B (FrontFn ?T))))) |
Mid-level-ontology.kif 14450-14456 | If X is an instance of breast, then there exists Y such that Y is an instance of torso and X is a part of the front of Y |
| (=> (instance ?B Breast) (exists (?P) (and (instance ?P Primate) (part ?B ?P)))) |
Mid-level-ontology.kif 14458-14463 | If X is an instance of breast, then there exists Y such that Y is an instance of primate and X is a part of Y |
| (=> (and (instance ?B Breast) (instance ?H Human) (part ?B ?H)) (part ?B (FrontFn ?H))) |
Mid-level-ontology.kif 14465-14471 | If X is an instance of breast, Y is an instance of human, and X is a part of Y, then X is a part of the front of Y |
| (=> (and (instance ?B Breast) (part ?B ?H)) (attribute ?B Female)) |
Mid-level-ontology.kif 14476-14480 | If X is an instance of breast and X is a part of Y, then female is an attribute of X |
|
