Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LayingEggs(laying eggs) |  | lay |
| appearance as argument number 1 |
|
|
| (subclass LayingEggs OrganismProcess) | Mid-level-ontology.kif 26395-26395 | Laying eggs is a subclass of organism process |
| (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 26396-26397 | Laying eggs is a subclass of organism process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 26399-26412 | If X is an instance of laying eggs and Y experiences X, then there exists Z such that Z is an instance of egg, Z is a patient of X, Z is a part of Y holds during the beginning of the time of existence of X, and Z is not a part of Y holds during the end of the time of existence of X |
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 26414-26420 | If X is an instance of laying eggs and Y experiences X, then Y is an instance of animal and female is an attribute of Y |
|