(documentation carries EnglishLanguage "(carries ?AGENT ?OBJECT) means that an AutonomousAgent ?AGENT transfers an Object ?OBJECT from one point to another") |
Mid-level-ontology.kif 4437-4438 |
|
(domain carries 1 AutonomousAgent) |
Mid-level-ontology.kif 4434-4434 |
The number 1 argument of carries is an instance of agent |
(domain carries 2 Object) |
Mid-level-ontology.kif 4435-4435 |
The number 2 argument of carries is an instance of object |
(instance carries BinaryPredicate) |
Mid-level-ontology.kif 4433-4433 |
carries is an instance of binary predicate |