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 Il numero 1 argomenti di DemonymFn è un istanza di AreaGeografica
(instance DemonymFn UnaryFunction) Mid-level-ontology.kif 30617-30617 DemonymFn è un' istanza di FunzioneUnaria
(rangeSubclass DemonymFn NationalPerson) Mid-level-ontology.kif 30619-30619 I valori resi da DemonymFn sono sottoclassi diNationalPerson

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