Residence - Sigma Knowledge base Browser

appearance as argument number 1

(disjointDecomposition Residence PermanentResidence TemporaryResidence)	Merge.kif 15918-15918	Residence is disjointly decomposed into permanent residence and temporary residence
(documentation Residence ChineseLanguage "这是一幢提供住宿的 Building 或 Building 的一部分。")	Merge.kif 15921-15922
(documentation Residence EnglishLanguage "A Building or part of a Building which provides some accomodation for sleeping.")	Merge.kif 15919-15920
(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 22391-22391	Residence is a subclass of PostalPlace
(subclass Residence StationaryArtifact)	Merge.kif 15917-15917	Residence is a subclass of stationary artifact

appearance as argument number 2

(disjoint MobileResidence Residence)	Mid-level-ontology.kif 6416-6416	Mobile residence is disjoint from residence
(subclass PermanentResidence Residence)	Merge.kif 15933-15933	Permanent residence is a subclass of residence
(subclass ResidentialBuilding Residence)	Merge.kif 15951-15951	Residential building is a subclass of residence
(subclass TemporaryResidence Residence)	Merge.kif 15944-15944	Temporary residence is a subclass of residence
(termFormat EnglishLanguage Residence "residence")	domainEnglishFormat.kif 8694-8694	"residence" is the printable form of residence in english language

appearance as argument number 3

(domain tenant 2 Residence)

Mid-level-ontology.kif 6577-6577

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 22966-22975	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 15924-15931	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 7359-7359