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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Residence
domicile, home, legal_residence, living_quarters, place, quarters, residence, residential

appearance as argument number 1

(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15918-15918 Residence is disjointly decomposed into permanent residence and temporary residence
(documentation Residence ChineseLanguage "这是一幢提供住宿的 BuildingBuilding 的一 部分。") Merge.kif 15921-15922
(documentation Residence EnglishLanguage "A Building or part of a Building which provides some accomodation for sleeping.") Merge.kif 15919-15920
(externalImage Residence " 0/ 04/ Pomerodee.jpg") pictureList.kif 10252-10252 " Pomerodee.jpg" is a URL depicting residence
(externalImage Residence " c/ c9/ Ranch_style_home_in_Salinas%2C_California.JPG") pictureList.kif 11786-11786 " Ranch_style_home_in_Salinas%2C_California.JPG" is a URL depicting residence
(externalImage Residence " f/ fe/ South_San_Jose_%28crop%29.jpg") pictureList.kif 11787-11787 " South_San_Jose_%28crop%29.jpg" is a URL depicting residence
(subclass Residence PostalPlace) Mid-level-ontology.kif 22391-22391 Residence is a subclass of PostalPlace
(subclass Residence StationaryArtifact) Merge.kif 15917-15917 Residence is a subclass of stationary artifact

appearance as argument number 2

(disjoint MobileResidence Residence) Mid-level-ontology.kif 6416-6416 Mobile residence is disjoint from residence
(subclass PermanentResidence Residence) Merge.kif 15933-15933 Permanent residence is a subclass of residence
(subclass ResidentialBuilding Residence) Merge.kif 15951-15951 Residential building is a subclass of residence
(subclass TemporaryResidence Residence) Merge.kif 15944-15944 Temporary residence is a subclass of residence
(termFormat EnglishLanguage Residence "residence") domainEnglishFormat.kif 8694-8694 "residence" is the printable form of residence in english language

appearance as argument number 3

(domain tenant 2 Residence) Mid-level-ontology.kif 6577-6577 The number 2 argument of tenant is an instance of residence


        (instance ?AGENT Human)
        (holdsDuring ?TIME
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT)
                (located ?DEVICE ?PLACE)
                (instance ?PLACE Residence))))
    (holdsDuring ?TIME
        (inhabits ?AGENT ?PLACE)))
Mid-level-ontology.kif 22966-22975
    (instance ?RESIDENCE Residence)
        (instance ?RESIDENCE House)
        (exists (?BUILDING)
                (instance ?BUILDING ResidentialBuilding)
                (part ?RESIDENCE ?BUILDING)))))
Merge.kif 15924-15931