Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MobileStructure(mobile structure) |
| appearance as argument number 1 |
|
| (subclass MobileStructure Artifact) | Mid-level-ontology.kif 7895-7895 | Mobile structure is a subclass of artifact |
| (disjoint MobileStructure StationaryArtifact) | Mid-level-ontology.kif 7896-7896 | Mobile structure is disjoint from stationary artifact |
| (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 7897-7900 | Mobile structure is disjoint from stationary artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?M MobileStructure) (hasPurpose ?M (exists (?H) (and (instance ?H Human) (contains ?M ?H))))) |
Mid-level-ontology.kif 7902-7908 | If X is an instance of mobile structure, then X has the purpose there exists Y such that Y is an instance of human and X contains Y |
| (=> (instance ?M MobileStructure) (hasPurpose ?M (exists (?T) (and (instance ?T Translocation) (patient ?T ?M))))) |
Mid-level-ontology.kif 7910-7916 | If X is an instance of mobile structure, then X has the purpose there exists Y such that Y is an instance of translocation and X is a patient of Y |
|