| 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 26210-26213 | |
| (subclass Name Descriptor) | Mid-level-ontology.kif 26209-26209 |
| appearance as argument number 2 |
|
|
| (subclass Identifier Name) | Mid-level-ontology.kif 26215-26215 | |
| (termFormat EnglishLanguage Name "name") | domainEnglishFormat.kif 65243-65243 |
| 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 | |
| (=> (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 |
|
|
|