Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MobileResidence
MobileResidence(mobile residence)

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


(disjoint MobileResidence Residence) Mid-level-ontology.kif 6396-6396 Mobile residence is disjoint from residence
(documentation MobileResidence EnglishLanguage "Anything which serves to house people but which changes its location from time to time, e.g. a motorhome, a mobile home, a camp, etc. Note that MobileResidence is disjoint from Residence, because the latter is a subclass of StationaryArtifact.") Mid-level-ontology.kif 6397-6400
(externalImage MobileResidence "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ 67elcona.JPG") pictureList.kif 4782-4782
(subclass MobileResidence Artifact) Mid-level-ontology.kif 6395-6395 Mobile residence is a subclass of artifact

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


(subclass Camp MobileResidence) Mid-level-ontology.kif 6447-6447 Camp is a subclass of mobile residence
(subclass RecreationalVehicle MobileResidence) Mid-level-ontology.kif 23724-23724 Camper is a subclass of mobile residence
(subclass Tent MobileResidence) Mid-level-ontology.kif 6458-6458 Tent is a subclass of mobile residence
(termFormat ChineseLanguage MobileResidence "移动住宅") domainEnglishFormat.kif 38161-38161
(termFormat ChineseTraditionalLanguage MobileResidence "移動住宅") domainEnglishFormat.kif 38160-38160
(termFormat EnglishLanguage MobileResidence "mobile residence") domainEnglishFormat.kif 38159-38159

consequent
-------------------------


(=>
    (instance ?C Campground)
    (hasPurpose ?C
        (exists (?R)
            (and
                (instance ?R MobileResidence)
                (located ?R ?C)))))
Mid-level-ontology.kif 7866-7872


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 is open source software produced by Articulate Software and its partners