Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Robot(robot) |
| appearance as argument number 1 |
|
| (subclass Robot Machine) | engineering.kif 1078-1078 | Robot is a subclass of machine |
| (documentation Robot EnglishLanguage "A Robot is a machine—especially one programmable by a computer—capable of carrying out a complex series of actions automatically. A robot can be guided by an external control device, or the control may be embedded within. Robots may be constructed to evoke human form, but most robots are task_performing machines, designed with an emphasis on stark functionality, rather than expressive aesthetics.[Wikipedia]") | engineering.kif 1079-1084 | Robot is a subclass of machine |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?R Robot) (hasPurpose ?R (exists (?PROC ?COMP) (and (instance ?PROC ComputerProcess) (instance ?COMP ComputerProgram) (computerRunning ?PROC ?COMP) (patient ?PROC ?R) (holdsDuring (WhenFn ?PROC) (exists (?INT) (and (instance ?INT IntentionalProcess) (instrument ?INT ?R)))))))) |
engineering.kif 1086-1100 | If X is an instance of robot, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of computer process (3) Z is an instance of computer program (4) Y is running on Z (5) X is a patient of Y (6) there exists W such that W is an instance of intentional process (7) X is an instrument for W holds during the time of existence of Y |
|