(=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject)))) |
Mid-level-ontology.kif 18111-18119 | |
(subclass Harvesting Removing) | Mid-level-ontology.kif 18099-18099 | 收获 是 移除 的 subclass |
(subclass Harvesting Killing) | Mid-level-ontology.kif 18100-18100 | 收获 是 杀害 的 subclass |
(subclass Felling Harvesting) | Economy.kif 5469-5469 | 砍伐 是 收获 的 subclass |