TreeView Knowledge Base Browser

appearance as argument number 1

(documentation DemonymFn EnglishLanguage "A GroupOfPeople defined by their birthplace or where the Residence they inhabit is located.")	Mid-level-ontology.kif 32566-32567
(domain DemonymFn 1 GeographicArea)	Mid-level-ontology.kif 32564-32564	The number 1 argument of Demonym fn is an instance of geographic area
(instance DemonymFn UnaryFunction)	Mid-level-ontology.kif 32563-32563	Demonym fn is an instance of unary function
(rangeSubclass DemonymFn NationalPerson)	Mid-level-ontology.kif 32565-32565	The values returned by Demonym fn are subclasses of national person

appearance as argument number 2

(format EnglishLanguage DemonymFn "%1-ian")	Mid-level-ontology.kif 32568-32568
(termFormat EnglishLanguage DemonymFn "Demonym fn")	domainEnglishFormat.kif 64749-64749

antecedent

(=>
    (instance ?P
        (DemonymFn ?N))
    (or
        (exists (?R)
            (and
                (located ?R ?N)
                (inhabits ?P ?R)))
        (birthplace ?P ?N)))

Mid-level-ontology.kif 32570-32577

If an animal is an instance of a geographic area-ian,
then there exists an object such that the object is located at the geographic area and the animal lives in the object or the geographic area is a birthplace of the animal

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

KB Term:			Term intersection

English Word: