Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GoldMine(gold mine) |  | gold_mine, goldmine |
| appearance as argument number 1 |
|
|
| (documentation GoldMine EnglishLanguage "An construction in the earth from which Gold mineral is removed, either in pure form or as part of ores.") | Society.kif 524-524 | |
| (subclass GoldMine Mine) | Society.kif 525-525 | Gold mine is a subclass of mine |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GoldMine "gold mine") | domainEnglishFormat.kif 64943-64943 |
| antecedent |
|
|
| (=> (instance ?GM GoldMine) (exists (?BUS) (and (instance ?BUS Business) (possesses ?BUS ?GM)))) |
Society.kif 529-534 | If X is an instance of gold mine, then there exists Y such that Y is an instance of business and Y possesses X |
|