| appearance as argument number 1 |
|
| (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 955-960 | |
| (subclass AutonomousMobileRobot AutonomousAgent) | engineering.kif 953-953 | |
| (subclass AutonomousMobileRobot Robot) | engineering.kif 954-954 |
| appearance as argument number 2 |
|
|
| (names "AMR" AutonomousMobileRobot) | engineering.kif 962-962 | |
| (termFormat EnglishLanguage AutonomousMobileRobot "autonomous mobile robot") | domainEnglishFormat.kif 65809-65809 |
| 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 966-984 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners