Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CarryBot
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AuditoriumSeat Seat) | Mid-level-ontology.kif 8637-8637 | Auditorium seat is a subclass of seat |
| (documentation AuditoriumSeat EnglishLanguage "A Seat within an Auditorium from which one can observe the PerformanceStage.") | Mid-level-ontology.kif 8638-8639 | Auditorium seat is a subclass of seat |
| (externalImage AuditoriumSeat "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ Regensburg_Stadttheater_Zuschauerraum_2004.jpg") | pictureList.kif 8359-8359 | Auditorium seat is a subclass of seat |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SEAT AuditoriumSeat) (exists (?AUDITORIUM) (and (instance ?AUDITORIUM Auditorium) (part ?SEAT ?AUDITORIUM)))) |
Mid-level-ontology.kif 8641-8646 | If X is an instance of auditorium seat, then there exists Y such that Y is an instance of auditorium and X is a part of Y |
| (=> (and (instance ?SEAT AuditoriumSeat) (part ?SEAT ?AUDITORIUM) (part ?STAGE ?AUDITORIUM) (instance ?AUDITORIUM Auditorium) (instance ?STAGE PerformanceStage) (located ?PERSON ?SEAT) (instance ?PERSON Human)) (capability (KappaFn ?SEEING (and (instance ?SEEING Seeing) (patient ?SEEING ?STAGE))) agent ?PERSON)) |
Mid-level-ontology.kif 8648-8661 | If All of the following hold: (1) X is an instance of auditorium seat (2) X is a part of Y (3) Z is a part of Y (4) Y is an instance of auditorium (5) Z is an instance of performance stage (6) W is located at X (7) W is an instance of human, then W is capable of doing the class described by V as a agent |
|
