Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Name

Sigma KEE - Name
Name

appearance as argument number 1
-------------------------


(documentation Name EnglishLanguage "Name denotes the Class of ContentBearingObjects that identify an Entity, typically in some linguistic form such as an epithet, given name, street address, etc.") Mid-level-ontology.kif 24529-24532
(subclass Name Descriptor) Mid-level-ontology.kif 24528-24528 NameDescriptorsubclass

appearance as argument number 2
-------------------------


(subclass Identifier Name) Mid-level-ontology.kif 24534-24534 IdentifierNamesubclass
(termFormat EnglishLanguage Name "name") domainEnglishFormat.kif 65220-65220

consequent
-------------------------


(=>
    (and
        (instance ?TEXT BirthCertificate)
        (instance ?B Birth)
        (instance ?A Human)
        (experiencer ?B ?A))
    (containsFormula ?TEXT
        (exists (?DAY ?P ?N)
            (and
                (birthdate ?A ?DAY)
                (instance ?DAY Day)
                (birthplace ?A ?P)
                (instance ?P GeographicArea)
                (represents ?N ?A)
                (instance ?N Name)))))
Biography.kif 250-264
(=>
    (and
        (instance ?TEXT DeathCertificate)
        (instance ?D Death)
        (instance ?A Human)
        (experiencer ?D ?A))
    (containsFormula ?TEXT
        (exists (?DAY ?P ?N ?PROC)
            (and
                (deathdate ?A ?DAY)
                (instance ?DAY Day)
                (deathplace ?A ?P)
                (instance ?P GeographicArea)
                (represents ?N ?A)
                (instance ?N Name)
                (causes ?PROC ?D)
                (instance ?PROC Process)))))
Biography.kif 280-296


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

Show without tree


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