Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  postStreet
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LandMeanOfProduction EnglishLanguage "Land is a Means of Production that comprises all naturally occurring resources as well as geographic land. Examples include particular geographical locations, mineral deposits, forests, fish stocks, atmospheric quality, geostationary orbits, and portions of the electromagnetic spectrum.") | Economy.kif 6151-6155 | |
| (subAttribute LandMeanOfProduction MeanOfProduction) | Economy.kif 6156-6156 | Natural resource is a subattribute of mean of production |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?LE LandMeanOfProduction) (attribute ?LEO ?LE)) (exists (?L ?EMS) (or (and (instance ?L Region) (part ?LEO ?L)) (and (instance ?EMS ElectromagenticSpectrum) (equal ?LEO ?EMS))))) |
Economy.kif 6159-6170 | If X is an instance of natural resource and X is an attribute of Y, then there exist Z, W such that Z is an instance of region, Y is a part of Z or W is an instance of ElectromagenticSpectrum, equal Y, and W |
|