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 24112-24113 | |
(subclass LayingEggs OrganismProcess) | Mid-level-ontology.kif 24111-24111 | LayingEggs est une sous-classe de fonction physiologique |
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 24130-24136 |
|
(=> (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 24115-24128 |
|