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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MobileResidence
MobileResidence

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


(disjoint MobileResidence Residence) Mid-level-ontology.kif 7768-7768
(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 7769-7772
(externalImage MobileResidence "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ 67elcona.JPG") pictureList.kif 4780-4780
(subclass MobileResidence MobileStructure) Mid-level-ontology.kif 7767-7767

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


(subclass Camp MobileResidence) Mid-level-ontology.kif 7969-7969
(subclass RecreationalVehicle MobileResidence) Mid-level-ontology.kif 27662-27662
(subclass Tent MobileResidence) Mid-level-ontology.kif 7980-7980
(termFormat ChineseLanguage MobileResidence "移动住宅") domainEnglishFormat.kif 38180-38180
(termFormat ChineseTraditionalLanguage MobileResidence "移動住宅") domainEnglishFormat.kif 38179-38179
(termFormat EnglishLanguage MobileResidence "mobile residence") domainEnglishFormat.kif 38178-38178

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 7774-7782

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


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


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