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 24586-24589 | |
(subclass Name Descriptor) | Mid-level-ontology.kif 24585-24585 |
appearance as argument number 2 |
(subclass Identifier Name) | Mid-level-ontology.kif 24591-24591 | |
(termFormat EnglishLanguage Name "name") | domainEnglishFormat.kif 65222-65222 |
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 |