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


KB Term:  Term intersection
English Word: 

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

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


(subclass Residence StationaryArtifact) Merge.kif 15948-15948 Residence is a subclass of stationary artifact
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15949-15949 Residence is disjointly decomposed into permanent residence and temporary residence
(documentation Residence EnglishLanguage "A Building or part of a Building which provides some accomodation for sleeping.") Merge.kif 15950-15951 Residence is disjointly decomposed into permanent residence and temporary residence
(subclass Residence PostalPlace) Mid-level-ontology.kif 26978-26978 Residence is a subclass of postal place
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Pomerodee.jpg") pictureList.kif 10229-10229 Residence is a subclass of postal place
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Ranch_style_home_in_Salinas%2C_California.JPG") pictureList.kif 11752-11752 Residence is a subclass of postal place
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ South_San_Jose_%28crop%29.jpg") pictureList.kif 11753-11753 Residence is a subclass of postal place

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


(subclass PermanentResidence Residence) Merge.kif 15962-15962 Permanent residence is a subclass of residence
(subclass TemporaryResidence Residence) Merge.kif 15971-15971 Temporary residence is a subclass of residence
(subclass ResidentialBuilding Residence) Merge.kif 15976-15976 Residential building is a subclass of residence
(disjoint MobileResidence Residence) Mid-level-ontology.kif 7786-7786 Mobile residence is disjoint from residence
(termFormat EnglishLanguage Residence "residence") domainEnglishFormat.kif 49617-49617 Mobile residence is disjoint from residence
(termFormat ChineseTraditionalLanguage Residence "住宅") domainEnglishFormat.kif 49618-49618 Mobile residence is disjoint from residence
(termFormat ChineseLanguage Residence "住宅") domainEnglishFormat.kif 49619-49619 Mobile residence is disjoint from residence

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


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

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


(=>
    (instance ?RESIDENCE Residence)
    (or
        (instance ?RESIDENCE House)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING ResidentialBuilding)
                (part ?RESIDENCE ?BUILDING)))))		 Merge.kif 15953-15960 If X is an instance of residence, then X is an instance of house or there exists Y such that Y is an instance of residential building and X is a part of Y
(=>
    (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 27416-27425 If X is an instance of human and Y has number Z, Z is the telephone number of X, Y is located at W, and W is an instance of residence holds during V, then X lives in W holds during V