(=> (instance ?GUN Firearm) (hasPurpose ?GUN (exists (?A ?CARRY ?C) (and (instance ?A Human) (subclass ?CARRY Carrying) (instance ?C ?CARRY) (objectTransferred ?C ?GUN) (capability ?CARRY instrument ?A) (not (exists (?A2) (and (instance ?A2 Human) (not (equal ?A ?A2)) (instrument ?C ?A2)))))))) |
Mid-level-ontology.kif 1855-1871 | |
(subclass Carrying Transfer) | Merge.kif 11516-11516 |
![]() |