| LayingEggs(laying eggs) | | lay |
| appearance as argument number 1 |
|
|
| (subclass LayingEggs OrganismProcess) | Mid-level-ontology.kif 26495-26495 | Laying eggs is a subclass of organism process |
| (documentation LayingEggs EnglishLanguage "Any OrganismProcess where an Egg is expelled from the body of a Animal, e.g. a Bird or Reptile laying eggs.") | Mid-level-ontology.kif 26496-26497 | Laying eggs is a subclass of organism process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (exists (?E) (and (instance ?E Egg) (patient ?L ?E) (holdsDuring (BeginFn (WhenFn ?L)) (part ?E ?A)) (holdsDuring (EndFn (WhenFn ?L)) (not (part ?E ?A)))))) |
Mid-level-ontology.kif 26499-26512 | If X is an instance of laying eggs and Y experiences X, then there exists Z such that Z is an instance of egg, Z is a patient of X, Z is a part of Y holds during the beginning of the time of existence of X, and Z is not a part of Y holds during the end of the time of existence of X |
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 26514-26520 | If X is an instance of laying eggs and Y experiences X, then Y is an instance of animal and female is an attribute of Y |
|
|
|