| appearance as argument number 1 |
|
| (disjoint MobileStructure StationaryArtifact) | Mid-level-ontology.kif 6802-6802 | |
| (documentation MobileStructure EnglishLanguage "A MoibleStruture is an Artifact that can contain Human and is intended to be moved. Examples of MobileStructure includes, RV_caravan_camper, porta potty, pre_fabricated mobile office,sleeping in a vehichle.") | Mid-level-ontology.kif 6803-6806 | |
| (subclass MobileStructure Artifact) | Mid-level-ontology.kif 6801-6801 |
| appearance as argument number 2 |
|
|
| (subclass MobileResidence MobileStructure) | Mid-level-ontology.kif 6824-6824 | |
| (subclass PortableRestroom MobileStructure) | Mid-level-ontology.kif 6841-6841 | |
| (termFormat EnglishLanguage MobileStructure "mobile structure") | domainEnglishFormat.kif 38196-38196 |
| antecedent |
|
|
| (=> (instance ?M MobileStructure) (hasPurpose (?M) (exists (?H) (and (instance ?H Human) (contains ?M ?H))))) |
Mid-level-ontology.kif 6808-6814 | |
| (=> (instance ?M MobileStructure) (hasPurpose ?M (exists (?T) (and (instance ?T Translocation) (patient ?T ?M))))) |
Mid-level-ontology.kif 6816-6822 |
|
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