Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DemonymFn

Sigma KEE - DemonymFn
DemonymFn

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 Le nombre 1 argument de DemonymFn est une instance de secteur g�ographique
(instance DemonymFn UnaryFunction) Mid-level-ontology.kif 30617-30617 DemonymFn est une instance de function unaire
(rangeSubclass DemonymFn NationalPerson) Mid-level-ontology.kif 30619-30619 Les valeurs retourn�es par DemonymFn sont des sous-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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners