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 30010-30011
(domain DemonymFn 1 GeographicArea)	Mid-level-ontology.kif 30008-30008	The number 1 argument of DemonymFn is an instance of geographic area
(instance DemonymFn UnaryFunction)	Mid-level-ontology.kif 30007-30007	DemonymFn is an instance of unary function
(rangeSubclass DemonymFn NationalPerson)	Mid-level-ontology.kif 30009-30009	The values returned by DemonymFn are subclasses of NationalPerson

appearance as argument number 2

(format EnglishLanguage DemonymFn "%1-ian")

Mid-level-ontology.kif 30012-30012

antecedent

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

Mid-level-ontology.kif 30014-30021

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: