Residence - Sigma Knowledge base Browser

appearance as argument number 1

(disjointDecomposition Residence PermanentResidence TemporaryResidence)	Merge.kif 14606-14606	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 14607-14608
(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 22456-22456	Residence is a subclass of PostalPlace
(subclass Residence StationaryArtifact)	Merge.kif 14605-14605	Residence is a subclass of stationary artifact

appearance as argument number 2

(disjoint MobileResidence Residence)	Mid-level-ontology.kif 6423-6423	Mobile residence is disjoint from residence
(subclass PermanentResidence Residence)	Merge.kif 14619-14619	Permanent residence is a subclass of residence
(subclass ResidentialBuilding Residence)	Merge.kif 14633-14633	Residential building is a subclass of residence
(subclass TemporaryResidence Residence)	Merge.kif 14628-14628	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 6584-6584

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 23031-23040	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 14610-14617	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 7367-7367