| 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 24401-24402 | |
| (subclass LayingEggs OrganismProcess) | Mid-level-ontology.kif 24400-24400 |
| 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 24419-24425 | |
| (=> (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 24404-24417 |
|
|
|