Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 16077-16077 Residence is a subclass of stationary artifact
(subclass Residence PostalPlace) Merge.kif 16078-16078 Residence is a subclass of postal place
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 16079-16079 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 16080-16081 Residence is disjointly decomposed into permanent residence and temporary residence
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Pomerodee.jpg") pictureList.kif 10229-10229 Residence is disjointly decomposed into permanent residence and temporary residence
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Ranch_style_home_in_Salinas%2C_California.JPG") pictureList.kif 11752-11752 Residence is disjointly decomposed into permanent residence and temporary residence
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ South_San_Jose_%28crop%29.jpg") pictureList.kif 11753-11753 Residence is disjointly decomposed into permanent residence and temporary residence

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


(subclass PermanentResidence Residence) Merge.kif 16092-16092 Permanent residence is a subclass of residence
(subclass TemporaryResidence Residence) Merge.kif 16101-16101 Temporary residence is a subclass of residence
(subclass ResidentialBuilding Residence) Merge.kif 16106-16106 Residential building is a subclass of residence
(disjoint MobileResidence Residence) Mid-level-ontology.kif 7919-7919 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 8221-8221 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 16083-16090 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 27317-27326 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

statement
-------------------------


(subclass MedicalClinicBuilding
    (ComplementFn Residence))		 Mid-level-ontology.kif 8987-8987 Medical clinic building is a subclass of the complement of residence


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners