Residence - Sigma Knowledge base Browser

appearance as argument number 1

(disjointDecomposition Residence PermanentResidence TemporaryResidence)	Merge.kif 14596-14596	Residence is disjointly decomposed into permanent residence and temporary residence
(documentation Residence ChineseLanguage "这是一幢提供住宿的 Building 或 Building 的一部分。")	chinese_format.kif 3593-3594
(documentation Residence EnglishLanguage "A Building or part of a Building which provides some accomodation for sleeping.")	Merge.kif 14597-14598
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Pomerodee.jpg")	pictureList.kif 10252-10252
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Ranch_style_home_in_Salinas%2C_California.JPG")	pictureList.kif 11786-11786
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ South_San_Jose_%28crop%29.jpg")	pictureList.kif 11787-11787
(subclass Residence PostalPlace)	Mid-level-ontology.kif 22404-22404	Residence is a subclass of PostalPlace
(subclass Residence StationaryArtifact)	Merge.kif 14595-14595	Residence is a subclass of stationary artifact

appearance as argument number 2

(disjoint MobileResidence Residence)	Mid-level-ontology.kif 6417-6417	Mobile residence is disjoint from residence
(subclass PermanentResidence Residence)	Merge.kif 14609-14609	Permanent residence is a subclass of residence
(subclass ResidentialBuilding Residence)	Merge.kif 14623-14623	Residential building is a subclass of residence
(subclass TemporaryResidence Residence)	Merge.kif 14618-14618	Temporary residence is a subclass of residence
(termFormat ChineseLanguage Residence "住宅")	domainEnglishFormat.kif 49520-49520
(termFormat ChineseTraditionalLanguage Residence "住宅")	domainEnglishFormat.kif 49519-49519
(termFormat EnglishLanguage Residence "residence")	domainEnglishFormat.kif 49518-49518

appearance as argument number 3

(domain tenant 2 Residence)

Mid-level-ontology.kif 6578-6578

The number 2 argument of tenant is an instance of 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 22979-22988	If an entity is an instance of human and another entity has number a third entity and the third entity is the telephone number of the entity and the other entity is located at a fourth entity and the fourth entity is an instance of residence holds during a time position, then the entity lives in the fourth entity holds during the time position
(=> (instance ?RESIDENCE Residence) (or (instance ?RESIDENCE House) (exists (?BUILDING) (and (instance ?BUILDING ResidentialBuilding) (part ?RESIDENCE ?BUILDING)))))	Merge.kif 14600-14607	If an object is an instance of residence, then the object is an instance of house or there exists another object such that the other object is an instance of residential building and the object is a part of the other object

statement

(subclass MedicalClinicBuilding
(ComplementFn Residence))

Mid-level-ontology.kif 7361-7361