(=>
(attribute ?OBJ FullyFormed)
(exists (?GROWTH)
(and
(instance ?GROWTH Growth)
(experiencer ?GROWTH ?OBJ)
(holdsDuring
(BeginFn
(WhenFn ?OBJ))
(attribute ?OBJ NonFullyFormed))))) |
Merge.kif 18357-18363 |
If fully formed is an attribute of X, then there exists Y such that Y is an instance of growth, X experiences Y, and non fully formed is an attribute of X holds during the beginning of the time of existence of X |
(=>
(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 |
(=>
(instance ?K Kitten)
(attribute ?K NonFullyFormed)) |
Mid-level-ontology.kif 22385-22387 |
If X is an instance of kitten, then non fully formed is an attribute of X |
(=>
(instance ?P Puppy)
(attribute ?P NonFullyFormed)) |
Mid-level-ontology.kif 22397-22399 |
If X is an instance of puppy, then non fully formed is an attribute of X |
(<=>
(instance ?L Lamb)
(and
(instance ?L Sheep)
(attribute ?L NonFullyFormed))) |
Mid-level-ontology.kif 22485-22489 |
X is an instance of lamb if, only if X is an instance of sheep, and non fully formed is an attribute of X |
(<=>
(instance ?C Calf)
(and
(instance ?C Cattle)
(attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 22508-22512 |
X is an instance of calf if, only if X is an instance of cattle, and non fully formed is an attribute of X |
(=>
(instance ?K Bunny)
(attribute ?K NonFullyFormed)) |
Mid-level-ontology.kif 22691-22693 |
If X is an instance of Bunny, then non fully formed is an attribute of X |
(=>
(instance ?B Birth)
(exists (?M ?BABY)
(and
(attribute ?M Female)
(origin ?B ?M)
(objectTransferred ?B ?BABY)
(attribute ?BABY NonFullyFormed)))) |
Mid-level-ontology.kif 26375-26382 |
If X is an instance of birth, then there exist Y, Z such that female is an attribute of Y, X originates at Y, the object transferred in X is Z, and non fully formed is an attribute of Z |
(=>
(instance ?M MammalCub)
(attribute ?M NonFullyFormed)) |
Mid-level-ontology.kif 33287-33289 |
If X is an instance of cub, then non fully formed is an attribute of X |
(=>
(instance ?RESTORE Reforestation)
(exists (?TREE)
(and
(instance ?TREE BotanicalTree)
(attribute ?TREE NonFullyFormed)
(patient ?RESTORE ?TREE)))) |
Geography.kif 4039-4045 |
If X is an instance of reforestation, then there exists Y such that Y is an instance of botanical tree, non fully formed is an attribute of Y, and Y is a patient of X |
