Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PortableRestroom(portable restroom) |
| appearance as argument number 1 |
|
| (subclass PortableRestroom MobileStructure) | Mid-level-ontology.kif 7935-7935 | Portable restroom is a subclass of mobile structure |
| (documentation PortableRestroom EnglishLanguage "A PortableRestroom contains a Toilet that is intended to be moved around.[Wikipedia]") | Mid-level-ontology.kif 7936-7937 | Portable restroom is a subclass of mobile structure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PortableRestroom "portable restroom") | domainEnglishFormat.kif 65914-65914 |
| antecedent |
|
|
| (=> (instance ?P PortableRestroom) (hasPurpose ?P (exists (?T ?M) (and (instance ?T Toilet) (contains ?P ?T) (instance ?M Translocation) (patient ?M ?P))))) |
Mid-level-ontology.kif 7939-7947 | If X is an instance of portable restroom, then X has the purpose there exist Y, Z such that Y is an instance of toilet, X contains Y, Z is an instance of translocation, and X is a patient of Z |
|