| 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 24170-24171 | |
| (subclass LayingEggs OrganismProcess) | Mid-level-ontology.kif 24169-24169 | Laying eggs is a subclass of organism process |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LayingEggs "下蛋") | domainEnglishFormat.kif 33581-33581 | |
| (termFormat ChineseTraditionalLanguage LayingEggs "下蛋") | domainEnglishFormat.kif 33580-33580 | |
| (termFormat EnglishLanguage LayingEggs "laying eggs") | domainEnglishFormat.kif 33579-33579 |
| antecedent |
|
|
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 24188-24194 |
|
| (=> (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 24173-24186 |
|
|
|
|