Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Name Descriptor) Mid-level-ontology.kif 26827-26827 Name is a subclass of descriptor
(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 26828-26831 Name is a subclass of descriptor

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


(subclass Identifier Name) Mid-level-ontology.kif 26833-26833 Identifier is a subclass of name
(termFormat EnglishLanguage Name "name") domainEnglishFormat.kif 65223-65223 Identifier is a subclass of name

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 256-270 If X is an instance of birth certificate, Y is an instance of birth, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V (2) U such that W is a birthdate of Z (3) W is an instance of day (4) V is a birthplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name
(=>
    (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 287-303 If X is an instance of death certificate, Y is an instance of death, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V,, , U (2) T such that W is a deathdate of Z (3) W is an instance of day (4) V is a deathplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name (8) T causes Y (9) T is an instance of process


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners