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 22760-22762
(subclass Archeology FieldOfStudy)	Mid-level-ontology.kif 22759-22759	Archeology は研究分野の subclass では

appearance as argument number 2

(termFormat EnglishLanguage Archeology "archeology")

domainEnglishFormat.kif 64465-64465

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 22764-22794

命題は Argument の instance では工程は推理の instance では命題は Archeology の instance では命題は命題の sub-proposition では工程は命題の内容を expresses
工程エンティティー, 物理, 実数, エンティティー and エンティティー工程は Discovering の instance では物理はオブジェクトの instance では物理は工程の patient では工程は工程への reference を includes 工程の time の existence は工程の time の existence より earlier happens 物理の age は実数の YearDuration(s) では実数は 50 より greater では　エンティティーはエンティティーの surface ではエンティティーは BodyOfWater の instance では物理は Below 対エンティティーではエンティティーはエンティティーの surface ではエンティティーは土地面積の instance では物理は Below 対エンティティーではは工程の time の existence の immediately before の during holds

consequent

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

Biography.kif 381-383

Archeologist は人［人間］の attribute では
hasExpertise 人［人間］ 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: