Residence - Sigma Knowledge base Browser

appearance as argument number 1

(disjointDecomposition Residence PermanentResidence TemporaryResidence)	Merge.kif 14505-14505	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 14506-14507
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Pomerodee.jpg")	pictureList.kif 10252-10252	"http://upload.wikimedia.org/wikipedia/commons/0/04/ Pomerodee.jpg" is a URL depicting residence
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Ranch_style_home_in_Salinas%2C_California.JPG")	pictureList.kif 11786-11786	"http://upload.wikimedia.org/wikipedia/commons/c/c9/ Ranch_style_home_in_Salinas%2C_California.JPG" is a URL depicting residence
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ South_San_Jose_%28crop%29.jpg")	pictureList.kif 11787-11787	"http://upload.wikimedia.org/wikipedia/commons/f/fe/ South_San_Jose_%28crop%29.jpg" is a URL depicting residence
(subclass Residence PostalPlace)	Mid-level-ontology.kif 22392-22392	Residence is a subclass of PostalPlace
(subclass Residence StationaryArtifact)	Merge.kif 14504-14504	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 14518-14518	Permanent residence is a subclass of residence
(subclass ResidentialBuilding Residence)	Merge.kif 14532-14532	Residential building is a subclass of residence
(subclass TemporaryResidence Residence)	Merge.kif 14527-14527	Temporary residence is a subclass of residence
(termFormat ChineseLanguage Residence "住宅")	domainEnglishFormat.kif 49561-49561	"住宅" is the printable form of residence in ChineseLanguage
(termFormat ChineseTraditionalLanguage Residence "住宅")	domainEnglishFormat.kif 49560-49560	"住宅" is the printable form of residence in ChineseTraditionalLanguage
(termFormat EnglishLanguage Residence "residence")	domainEnglishFormat.kif 49559-49559	"residence" is the printable form of residence in english language

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 22967-22976	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 14509-14516	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 7360-7360