Name - Sigma Knowledge base Browser

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 24817-24820
(subclass Name Descriptor)	Mid-level-ontology.kif 24816-24816	Name is a subclass of descriptor

appearance as argument number 2

(subclass Identifier Name)	Mid-level-ontology.kif 24822-24822	Identifier is a subclass of name
(termFormat EnglishLanguage Name "name")	domainEnglishFormat.kif 65268-65268	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 250-264	If a content bearing physical is an instance of birth certificate and a process is an instance of birth and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is a birthdate of the agent and the entity is an instance of day and the other entity is a birthplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity 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 280-296	If a content bearing physical is an instance of DeathCertificate and a process is an instance of death and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist the processAY, another entity,, , a third entity and the other entityROC such that the processAY is a deathdate of the agent and the processAY is an instance of day and the other entity is a deathplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name and the other entityROC causes the process and the other entityROC 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 is open source software produced by Articulate Software and its partners