Archeology - Sigma Knowledge base Browser

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 18838-18838
(instance Archeology FieldOfStudy)	Mid-level-ontology.kif 18837-18837	instance Archeology and FieldOfStudy

antecedent

(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (subProposition ?X Archeology)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T)
        (and
            (instance ?D Discovering)
            (instance ?O Object)
            (patient ?D ?O)
            (refers ?R ?D)
            (earlier
                (WhenFn ?D)
                (WhenFn ?R))
            (age ?O ?T)
            (greaterThan ?T
                (MeasureFn 50 YearDuration))
            (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 18839-18868

instance Proposition and Argument instance Process and Reasoning subProposition Proposition and Archeology realization Process and Proposition
Process entity, Object and TimeDuration instance Process and Discovering instance Object and Object patient Process and Object refers Process and Process earlier WhenFn Process and WhenFn Process age Object and TimeDuration greaterThan TimeDuration and MeasureFn 50 and YearDuration holdsDuring ImmediatePastFn WhenFn Process and surface entity and entity instance entity and BodyOfWater orientation Object, entity and Below surface entity and entity instance entity and LandArea orientation Object, entity and Below

consequent

(=>
(attribute ?PERSON Archeologist)
(hasExpertise ?PERSON Archeology))

Biography.kif 139-141

attribute Human and Archeologist
hasExpertise Human and Archeology

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: