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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MobileResidence

Sigma KEE - MobileResidence
MobileResidence(mobile residence)

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


(disjoint MobileResidence Residence) Mid-level-ontology.kif 6774-6774 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 6775-6778
(externalImage MobileResidence "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ 67elcona.JPG") pictureList.kif 4781-4781
(subclass MobileResidence MobileStructure) Mid-level-ontology.kif 6773-6773 Mobile residence is a subclass of mobile structure

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


(subclass Camp MobileResidence) Mid-level-ontology.kif 6835-6835 Camp is a subclass of mobile residence
(subclass RecreationalVehicle MobileResidence) Mid-level-ontology.kif 25797-25797 Camper is a subclass of mobile residence
(subclass Tent MobileResidence) Mid-level-ontology.kif 6846-6846 Tent is a subclass of mobile residence
(termFormat ChineseLanguage MobileResidence "移动住宅") domainEnglishFormat.kif 38171-38171
(termFormat ChineseTraditionalLanguage MobileResidence "移動住宅") domainEnglishFormat.kif 38170-38170
(termFormat EnglishLanguage MobileResidence "mobile residence") domainEnglishFormat.kif 38169-38169

antecedent
-------------------------


(=>
    (instance ?R MobileResidence)
    (hasPurpose ?R
        (exists (?H ?T)
            (and
                (instance ?H Human)
                (instance ?T Translocation)
                (inhabits ?H ?R)
                (patient ?T ?R)))))
Mid-level-ontology.kif 6780-6788

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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