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 28829-28830
(domain DemonymFn 1 GeographicArea) Mid-level-ontology.kif 28827-28827 The number 1 argument of DemonymFn is an instance of geographic area
(instance DemonymFn UnaryFunction) Mid-level-ontology.kif 28826-28826 DemonymFn is an instance of unary function
(rangeSubclass DemonymFn NationalPerson) Mid-level-ontology.kif 28828-28828 The values returned by DemonymFn are subclasses of NationalPerson

appearance as argument number 2
-------------------------


(format EnglishLanguage DemonymFn "%1-ian") Mid-level-ontology.kif 28831-28831

antecedent
-------------------------


(=>
    (instance ?P
        (DemonymFn ?N))
    (or
        (exists (?R)
            (and
                (located ?R ?N)
                (inhabits ?P ?R)))
        (birthplace ?P ?N)))
Mid-level-ontology.kif 28833-28840


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners