Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AutonomousMobileRobot(autonomous mobile robot) |
| appearance as argument number 1 |
|
| (subclass AutonomousMobileRobot AutonomousAgent) | engineering.kif 1040-1040 | Autonomous mobile robot is a subclass of agent |
| (subclass AutonomousMobileRobot Robot) | engineering.kif 1041-1041 | Autonomous mobile robot is a subclass of robot |
| (documentation AutonomousMobileRobot EnglishLanguage "An AutonomousMobileRobot (AMR) is a type of robot. Among other possible activities, it can at least navigate in an uncontrolled environment without the need for physical or electro_mechanical guidance device. AMRs use a sophisticated set of sensors and cameras, aritificial intelligence,machine learning algorithms to compute for path planning to intepret and navigate through their environment.[Wikipedia]") | engineering.kif 1042-1047 | Autonomous mobile robot is a subclass of robot |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutonomousMobileRobot "autonomous mobile robot") | domainEnglishFormat.kif 65789-65789 | |
| (names "AMR" AutonomousMobileRobot) | engineering.kif 1049-1049 | Autonomous mobile robot has name "AMR" |
| antecedent |
|
|
| (=> (instance ?AMR AutonomousMobileRobot) (hasPurpose ?AMR (exists (?T) (and (instance ?T Translocation) (agent ?T ?AMR) (patient ?T ?AMR) (instrument ?T ?AMR) (experiencer ?T ?AMR) (not (exists (?G ?A) (and (instance ?G Guiding) (patient ?G ?AMR) (agent ?G ?A) (or (instance ?A Human) (instance ?A Device))))))))) |
engineering.kif 1053-1071 | If X is an instance of autonomous mobile robot, then All of the following hold: (1) X has the purpose there exists Y such that Y is an instance of translocation (2) X is an agent of Y (3) X is a patient of Y (4) X is an instrument for Y (5) X experiences Y (6) there don't exist Z (7) W such that Z is an instance of guiding (8) X is a patient of Z (9) W is an agent of Z (10) W is an instance of human or W is an instance of device |
|