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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Residence

Sigma KEE - Residence
Residence(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 "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Pomerodee.jpg") pictureList.kif 10252-10252 "http://upload.wikimedia.org/wikipedia/commons/0/04/ Pomerodee.jpg" is a URL depicting residence
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Ranch_style_home_in_Salinas%2C_California.JPG") pictureList.kif 11786-11786 "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Ranch_style_home_in_Salinas%2C_California.JPG" is a URL depicting residence
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ South_San_Jose_%28crop%29.jpg") pictureList.kif 11787-11787 "http://upload.wikimedia.org/wikipedia/commons/f/fe/ 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

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


(=>
    (and
        (instance ?AGENT Human)
        (holdsDuring ?TIME
            (and
                (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)
    (or
        (instance ?RESIDENCE House)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING ResidentialBuilding)
                (part ?RESIDENCE ?BUILDING)))))
Merge.kif 15924-15931