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 20463-20465
(instance Archeology FieldOfStudy)	Mid-level-ontology.kif 20462-20462	Archeology 是研究领域的 instance

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
                (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 20467-20496

如果命题是争论的 instance 和过程是推理的 instance 和那个命题是 Archeology 的 subProposition 和那个过程表示那个命题的内容，
然后有存在另一个过程，实体,，，物理， and 和实数这样那个另外过程是发现的 instance 和那个物理是客体的 instance 和那个物理是那个另外过程的 patient 和那个过程提到那个另外过程和那个另外过程出现的 time 比那个过程出现的 time发生的earlier 和那个物理的 age 是那个实数年持续时间和那个实数是 greaterThan 50 和那个实体是另一个实体的 surface 和那个另外实体是水体的 instance 和那个物理在那个实体的下面或那个实体是第三实体的 surface 和那个第三实体是土地面积的 instance 和那个物理在那个实体的下面在紧接那个另外过程出现的 time before holdsDuring

consequent

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

Biography.kif 139-141

如果考古学家是人类的 attribute，
然后 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: