|
|
   NonFloweringPlant
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Archeology EnglishLanguage "Archeology is a FieldOfStudy, its Arguments are refering to earlier discoverings of old Objects burried below the surface of LandArea or a BodyOfWater. Note that the minimal age of the Object is set arbitrarily.") | Mid-level-ontology.kif 21170-21172 | |
| (subclass Archeology FieldOfStudy) | Mid-level-ontology.kif 21169-21169 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Archeology "archeology") | domainEnglishFormat.kif 64473-64473 |
| antecedent |
|
|
| (=> (and (instance ?X Argument) (instance ?R Reasoning) (instance ?A Archeology) (subProposition ?X ?A) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below))))))) |
Mid-level-ontology.kif 21174-21204 |
| consequent |
|
|
| (=> (attribute ?PERSON Archeologist) (hasExpertise ?PERSON Archeology)) |
Biography.kif 373-375 |
|
|
|