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

KB Term:  Term intersection
English Word: 

Sigma KEE - Residence
Residence

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


(subclass Residence StationaryArtifact) Merge.kif 16077-16077
(subclass Residence PostalPlace) Merge.kif 16078-16078
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 16079-16079
(documentation Residence EnglishLanguage "A Building or part of a Building which provides some accomodation for sleeping.") Merge.kif 16080-16081
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Pomerodee.jpg") pictureList.kif 10229-10229
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Ranch_style_home_in_Salinas%2C_California.JPG") pictureList.kif 11752-11752
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ South_San_Jose_%28crop%29.jpg") pictureList.kif 11753-11753

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


(subclass PermanentResidence Residence) Merge.kif 16092-16092
(subclass TemporaryResidence Residence) Merge.kif 16101-16101
(subclass ResidentialBuilding Residence) Merge.kif 16106-16106
(disjoint MobileResidence Residence) Mid-level-ontology.kif 7919-7919
(termFormat EnglishLanguage Residence "residence") domainEnglishFormat.kif 49617-49617
(termFormat ChineseTraditionalLanguage Residence "住宅") domainEnglishFormat.kif 49618-49618
(termFormat ChineseLanguage Residence "住宅") domainEnglishFormat.kif 49619-49619

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


(domain tenant 2 Residence) Mid-level-ontology.kif 8221-8221

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


(=>
    (instance ?RESIDENCE Residence)
    (or
        (instance ?RESIDENCE House)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING ResidentialBuilding)
                (part ?RESIDENCE ?BUILDING)))))		 Merge.kif 16083-16090
(=>
    (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

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


(subclass MedicalClinicBuilding
    (ComplementFn Residence))		 Mid-level-ontology.kif 8987-8987


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