consequent

(=>     (and         (holdsDuring ?TIME1             (developmentalForm ?OBJ ?ATTR1))         (successorAttributeClosure ?ATTR2 ?ATTR1))     (exists (?TIME2)         (and             (earlier ?TIME2 ?TIME1)             (holdsDuring ?TIME2                 (developmentalForm ?OBJ ?ATTR2)))))	Merge.kif 14650-14657	If the developmental form of X is Y holds during Z and W is a successor attribute of Y, then there exists V such that V happens earlier than Z and the developmental form of X is W holds during V
(=>     (holdsDuring ?TIME         (instance ?ADULT HumanAdult))     (holdsDuring ?TIME         (developmentalForm ?ADULT FullyFormed)))	Mid-level-ontology.kif 210-214	If X is an instance of human adult holds during Y, then the developmental form of X is fully formed holds during Y
(=>     (and         (instance ?ORG OrganicObject)         (instance ?ATTR DevelopmentalAttribute)         (holdsDuring ?TIME             (property ?ORG ?ATTR)))     (holdsDuring ?TIME         (developmentalForm ?ORG ?ATTR)))	Mid-level-ontology.kif 224-229	If X is an instance of organic object, Y is an instance of developmental attribute, and X the attribute Y holds during Z, then the developmental form of X is Y holds during Z
(=>     (holdsDuring ?TIME         (instance ?CHILD HumanChild))     (holdsDuring ?TIME         (developmentalForm ?CHILD NonFullyFormed)))	Mid-level-ontology.kif 263-267	If X is an instance of human child holds during Y, then the developmental form of X is non fully formed holds during Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)