| appearance as argument number 1 |
|
| (disjoint MobileStructure StationaryArtifact) | Mid-level-ontology.kif 6751-6751 | |
| (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 6752-6755 | |
| (subclass MobileStructure Artifact) | Mid-level-ontology.kif 6750-6750 |
| appearance as argument number 2 |
|
|
| (subclass MobileResidence MobileStructure) | Mid-level-ontology.kif 6773-6773 | |
| (termFormat EnglishLanguage MobileStructure "mobile structure") | domainEnglishFormat.kif 38167-38167 |
| antecedent |
|
|
| (=> (instance ?M MobileStructure) (hasPurpose (?M) (exists (?H) (and (instance ?H Human) (contains ?M ?H))))) |
Mid-level-ontology.kif 6757-6763 | |
| (=> (instance ?M MobileStructure) (hasPurpose ?M (exists (?T) (and (instance ?T Translocation) (patient ?T ?M))))) |
Mid-level-ontology.kif 6765-6771 |
|
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