consequent

(=>     (instance ?P         (DemonymFn ?N))     (or         (exists (?R)             (and                 (located ?R ?N)                 (inhabits ?P ?R)))         (birthplace ?P ?N)))	Mid-level-ontology.kif 33283-33290	If X is an instance of Y-ian, then there exists Z such that Z is located at Y and X lives in Z or Y is a birthplace of X
(=>     (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

Show simplified definition (without tree view)
Show simplified definition (with tree view)