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 30632-30633
(domain DemonymFn 1 GeographicArea)	Mid-level-ontology.kif 30630-30630	DemonymFn 的 1 数量是地理区域的 instance
(instance DemonymFn UnaryFunction)	Mid-level-ontology.kif 30629-30629	DemonymFn 是一元函数的 instance
(rangeSubclass DemonymFn NationalPerson)	Mid-level-ontology.kif 30631-30631	DemonymFn 的所得值是 NationalPerson 的 subclass

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 30636-30643

如果动物是 DemonymFn 地理区域的 instance，
然后有存在客体这样那个客体是 located 在那个地理区域和那个动物住在那个客体或那个地理区域是那个动物的 birthplace

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

KB Term:			Term intersection

English Word: