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 |
appearance as argument number 2 |
(subclass Identifier Name) | Mid-level-ontology.kif 24534-24534 | |
(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 |