AutonomousMobileRobot - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AutonomousMobileRobot

AutonomousMobileRobot(autonomous mobile robot)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 955-960
No TPTP formula. May not be expressible in strict first order.	engineering.kif 953-953	Autonomous mobile robot is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 954-954	Autonomous mobile robot is a subclass of robot

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 962-962	Autonomous mobile robot has name "AMR"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65809-65809	Autonomous mobile robot has name "AMR"

antecedent

No TPTP formula. May not be expressible in strict first order.

engineering.kif 966-984

If a physical is an instance of autonomous mobile robot,
then the physical has the purpose there exists an entity such that the entity is an instance of translocation and the physical is an agent of the entity and the physical is a patient of the entity and the physical is an instrument for the entity and the physical experiences the entity and there don't exist another entity and a third entity such that the other entity is an instance of guiding and the physical is a patient of the other entity and the third entity is an agent of the other entity and the third entity is an instance of human or the third entity is an instance of device

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