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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Residence

appearance as argument number 1

(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15799-15799 不相交分解 住宅, 永久居留權 and 暫住
(documentation Residence ChineseLanguage "这是一幢提供住宿的 BuildingBuilding 的一 部分。") chinese_format.kif 3593-3594
(documentation Residence EnglishLanguage "A Building or part of a Building which provides some accomodation for sleeping.") Merge.kif 15800-15801
(externalImage Residence " 0/ 04/ Pomerodee.jpg") pictureList.kif 10231-10231
(externalImage Residence " c/ c9/ Ranch_style_home_in_Salinas%2C_California.JPG") pictureList.kif 11759-11759
(externalImage Residence " f/ fe/ South_San_Jose_%28crop%29.jpg") pictureList.kif 11760-11760
(subclass Residence PostalPlace) Mid-level-ontology.kif 24596-24596 子類 住宅 and PostalPlace
(subclass Residence StationaryArtifact) Merge.kif 15798-15798 子類 住宅 and StationaryArtifact

appearance as argument number 2

(disjoint MobileResidence Residence) Mid-level-ontology.kif 6756-6756 不相交的 移動住宅 and 住宅
(subclass PermanentResidence Residence) Merge.kif 15812-15812 子類 永久居留權 and 住宅
(subclass ResidentialBuilding Residence) Merge.kif 15826-15826 子類 住宅樓 and 住宅
(subclass TemporaryResidence Residence) Merge.kif 15821-15821 子類 暫住 and 住宅
(termFormat ChineseLanguage Residence "住宅") domainEnglishFormat.kif 49622-49622
(termFormat ChineseTraditionalLanguage Residence "住宅") domainEnglishFormat.kif 49621-49621
(termFormat EnglishLanguage Residence "residence") domainEnglishFormat.kif 49620-49620

appearance as argument number 3

(domain tenant 2 Residence) Mid-level-ontology.kif 6904-6904 承租人, 2 and 住宅


        (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 25034-25043
    (instance ?RESIDENCE Residence)
        (instance ?RESIDENCE House)
        (exists (?BUILDING)
                (instance ?BUILDING ResidentialBuilding)
                (part ?RESIDENCE ?BUILDING)))))
Merge.kif 15803-15810