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 30620-30621
(domain DemonymFn 1 GeographicArea)	Mid-level-ontology.kif 30618-30618	O argumento numero 1 de DemonymFn e' uma instancia de Area Geografica
(instance DemonymFn UnaryFunction)	Mid-level-ontology.kif 30617-30617	DemonymFn e' uma instancia de funcao Unaria
(rangeSubclass DemonymFn NationalPerson)	Mid-level-ontology.kif 30619-30619	Os valores retornados por DemonymFn sao as sub-classes de NationalPerson

appearance as argument number 2

(format EnglishLanguage DemonymFn "%1-ian")	Mid-level-ontology.kif 30622-30622
(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 30624-30631

Animal e' uma instancia de DemonymFn Area Geografica
Objeto Objeto e' situado em Area Geografica Animal vive em Objeto birthplace Animal and Area Geografica

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

KB Term:			Term intersection

English Word: