| LayingEggs(laying eggs) | | lay |
| appearance as argument number 1 |
|
|
| (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 24433-24434 | |
| (subclass LayingEggs OrganismProcess) | Mid-level-ontology.kif 24432-24432 | Laying eggs is a subclass of organism process |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LayingEggs "下蛋") | domainEnglishFormat.kif 33610-33610 | |
| (termFormat ChineseTraditionalLanguage LayingEggs "下蛋") | domainEnglishFormat.kif 33609-33609 | |
| (termFormat EnglishLanguage LayingEggs "laying eggs") | domainEnglishFormat.kif 33608-33608 |
| antecedent |
|
|
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 24451-24457 |
|
| (=> (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 24436-24449 |
|
|
|
|