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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (instance ?P
        (DemonymFn ?N))
        (exists (?R)
                (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