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 6757-6757 MobileResidence est disjoint de 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 6758-6761
(externalImage MobileResidence "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ 67elcona.JPG") pictureList.kif 4781-4781
(subclass MobileResidence Artifact) Mid-level-ontology.kif 6756-6756 MobileResidence est une sous-classe de artefact

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


(subclass Camp MobileResidence) Mid-level-ontology.kif 6808-6808 Camp est une sous-classe de MobileResidence
(subclass RecreationalVehicle MobileResidence) Mid-level-ontology.kif 25764-25764 RecreationalVehicle est une sous-classe de MobileResidence
(subclass Tent MobileResidence) Mid-level-ontology.kif 6819-6819 Tent est une sous-classe de MobileResidence
(termFormat ChineseLanguage MobileResidence "移动住宅") domainEnglishFormat.kif 38169-38169
(termFormat ChineseTraditionalLanguage MobileResidence "移動住宅") domainEnglishFormat.kif 38168-38168
(termFormat EnglishLanguage MobileResidence "mobile residence") domainEnglishFormat.kif 38167-38167

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


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


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