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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Name
Name(name)DBA, Doing_Business_As, agnomen, alias, anonym, appellation, appellative, assumed_name, author's_name, byname, cognomen, company_name, denomination, designation, eponym, false_name, family_name, fictitious_name, first_name, forename, given_name, hypocorism, last_name, maiden_name, matronymic, metronymic, middle_name, misnomer, moniker, name, nickname, nom_de_guerre, nom_de_plume, patronym, patronymic, pen_name, pet_name, place_name, praenomen, pseudonym, sobriquet, soubriquet, stage_name, street_name, surname, toponym, writer's_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 Name is a subclass of descriptor

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


(subclass Identifier Name) Mid-level-ontology.kif 24534-24534 Identifier is a subclass of name
(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 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