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

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


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

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