Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ListFn__7Fn__0En1Ra2En3In4Ra5Re6En7ReFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Sternum ThoraxBone) | Anatomy.kif 258-258 | Sternum is a subclass of thorax bone |
| (documentation Sternum EnglishLanguage "sternum") | Anatomy.kif 260-260 | Sternum is a subclass of thorax bone |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Sternum "sternum") | Anatomy.kif 259-259 | |
| (connectedBodyPartTypes XyphiodProcess Sternum Human) | Anatomy.kif 275-275 | connected body parts sternum, sternum and human |
| consequent |
|
|
| (=> (and (instance ?R TrueRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connected ?S ?R)))) |
Anatomy.kif 496-507 | If X is an instance of costae verae, X is a part of Y, Y is an instance of human, and disease or syndrome is not an attribute of Y, then there exists Z such that Z is an instance of sternum, Z is a part of Y, and Z is connected to X |
| (=> (and (instance ?R FalseRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (not (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connected ?S ?R))))) |
Anatomy.kif 509-521 | If X is an instance of costae spuriae, X is a part of Y, Y is an instance of human, and disease or syndrome is not an attribute of Y, then there doesn't exist Z such that Z is an instance of sternum, Z is a part of Y, and Z is connected to X |
|