| 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 25767-25768 | |
| (subclass LayingEggs OrganismProcess) | Mid-level-ontology.kif 25766-25766 | Laying eggs is a subclass of organism process |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LayingEggs "下蛋") | domainEnglishFormat.kif 33609-33609 | |
| (termFormat ChineseTraditionalLanguage LayingEggs "下蛋") | domainEnglishFormat.kif 33608-33608 | |
| (termFormat EnglishLanguage LayingEggs "laying eggs") | domainEnglishFormat.kif 33607-33607 |
| antecedent |
|
|
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 25785-25791 |
|
| (=> (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 25770-25783 |
|
|
|
|