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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Residence
Residence

appearance as argument number 1
-------------------------


(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15927-15927 Residence est disjointement decompos� en PermanentResidence + TemporaryResidence
(documentation Residence ChineseLanguage "这是一幢提供住宿的 Building 或 Building 的一 部分。") chinese_format.kif 3593-3594 Residence est disjointement decompos� en PermanentResidence + TemporaryResidence
(documentation Residence EnglishLanguage "A Building or part of a Building which provides some accomodation for sleeping.") Merge.kif 15928-15929 Residence est disjointement decompos� en PermanentResidence + TemporaryResidence
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Pomerodee.jpg") pictureList.kif 10229-10229 Residence est disjointement decompos� en PermanentResidence + TemporaryResidence
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Ranch_style_home_in_Salinas%2C_California.JPG") pictureList.kif 11752-11752 Residence est disjointement decompos� en PermanentResidence + TemporaryResidence
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ South_San_Jose_%28crop%29.jpg") pictureList.kif 11753-11753 Residence est disjointement decompos� en PermanentResidence + TemporaryResidence
(subclass Residence PostalPlace) Mid-level-ontology.kif 26259-26259 Residence est une sous-classe de PostalPlace
(subclass Residence StationaryArtifact) Merge.kif 15926-15926 Residence est une sous-classe de artefact stationnaire

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


(disjoint MobileResidence Residence) Mid-level-ontology.kif 7768-7768 MobileResidence est disjoint de Residence
(subclass PermanentResidence Residence) Merge.kif 15940-15940 PermanentResidence est une sous-classe de Residence
(subclass ResidentialBuilding Residence) Merge.kif 15954-15954 ResidentialBuilding est une sous-classe de Residence
(subclass TemporaryResidence Residence) Merge.kif 15949-15949 TemporaryResidence est une sous-classe de Residence
(termFormat ChineseLanguage Residence "住宅") domainEnglishFormat.kif 49626-49626 TemporaryResidence est une sous-classe de Residence
(termFormat ChineseTraditionalLanguage Residence "住宅") domainEnglishFormat.kif 49625-49625 TemporaryResidence est une sous-classe de Residence
(termFormat EnglishLanguage Residence "residence") domainEnglishFormat.kif 49624-49624 TemporaryResidence est une sous-classe de Residence

appearance as argument number 3
-------------------------


(domain tenant 2 Residence) Mid-level-ontology.kif 8066-8066 Le nombre 2 argument de tenant est une instance de 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 26697-26706
(=>
    (instance ?RESIDENCE Residence)
    (or
        (instance ?RESIDENCE House)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING ResidentialBuilding)
                (part ?RESIDENCE ?BUILDING)))))		 Merge.kif 15931-15938