Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WaterPurifier
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Mine StationaryArtifact) | Mid-level-ontology.kif 7830-7830 | Mine is a subclass of stationary artifact |
| (documentation Mine EnglishLanguage "An construction in the earth from which Minerals are removed, either in pure form or as part of ores.") | Mid-level-ontology.kif 7831-7832 | Mine is a subclass of stationary artifact |
| (externalImage Mine "http://upload.wikimedia.org/wikipedia/commons/f/f1/ Iron_ore_mine-01_%28xndr%29.jpg") | pictureList.kif 4778-4778 | Mine is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (subclass GoldMine Mine) | Society.kif 525-525 | Gold mine is a subclass of mine |
| (termFormat EnglishLanguage Mine "mine") | domainEnglishFormat.kif 37823-37823 | Gold mine is a subclass of mine |
| (termFormat ChineseTraditionalLanguage Mine "礦") | domainEnglishFormat.kif 37824-37824 | Gold mine is a subclass of mine |
| (termFormat ChineseLanguage Mine "矿") | domainEnglishFormat.kif 37825-37825 | Gold mine is a subclass of mine |
| antecedent |
|
|
| (=> (instance ?MINE Mine) (hasPurpose ?MINE (exists (?REMOVE ?MINERAL) (and (instance ?REMOVE Removing) (patient ?REMOVE ?MINERAL) (instance ?MINERAL Mineral) (origin ?REMOVE ?MINE))))) |
Mid-level-ontology.kif 7834-7842 | If X is an instance of mine, then X has the purpose there exist Y, Z such that Y is an instance of removing, Z is a patient of Y, Z is an instance of mineral, and Y originates at X |
| consequent |
|
|
| (=> (instance ?PLANT MineBusiness) (exists (?MINERAL ?MINE ?MANUFACTURE) (and (instance ?MINE Mine) (instance ?MANUFACTURE Manufacture) (eventLocated ?MANUFACTURE ?MINE) (result ?MANUFACTURE ?MINERAL) (instance ?MINERAL MiningArtifact)))) |
Society.kif 1531-1539 | If X is an instance of MineBusiness, then there exist Y, Z, W such that Z is an instance of mine, W is an instance of manufacture, W is located at Z, Y is a result of W, and Y is an instance of MiningArtifact |
|
