Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PostMeridiem
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LearningMeeting Meeting) | Offers.kif 34-34 | LearningMeeting is a subclass of meeting |
| appearance as argument number 2 |
|
|
| (subclass LearningClass LearningMeeting) | Offers.kif 35-35 | LearningClass is a subclass of LearningMeeting |
| consequent |
|
|
| (=> (instance ?CLASS LearningClass) (exists (?MEET ?LEARN) (and (instance ?MEET LearningMeeting) (instance ?LEARN Learning)))) |
Offers.kif 37-42 | If X is an instance of LearningClass, then there exist Y, Z such that Y is an instance of LearningMeeting, and Z is an instance of learning |
|