| LayingEggs | |
| 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 25761-25762 | |
| (subclass LayingEggs OrganismProcess) | Mid-level-ontology.kif 25760-25760 | LayingEggs est une sous-classe de fonction physiologique |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LayingEggs "下蛋") | domainEnglishFormat.kif 33592-33592 | |
| (termFormat ChineseTraditionalLanguage LayingEggs "下蛋") | domainEnglishFormat.kif 33591-33591 | |
| (termFormat EnglishLanguage LayingEggs "laying eggs") | domainEnglishFormat.kif 33590-33590 |
| antecedent |
|
|
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 25779-25785 |
|
| (=> (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 25764-25777 |
|
|
|
|