Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   GeneticallyEngineeredOrganism
|
|
|
| appearance as argument number 1 |
|
|
| (subclass GeneticallyEngineeredOrganism Organism) | WMD.kif 228-228 | Genetically engineered organism is a subclass of organism |
| (documentation GeneticallyEngineeredOrganism EnglishLanguage "The class of Organisms that are not found originally in nature, but are produced in a laboratory by manipulating the genes of naturally occurring organisms.") | WMD.kif 229-231 | Genetically engineered organism is a subclass of organism |
| (externalImage GeneticallyEngineeredOrganism "http://upload.wikimedia.org/ wikipedia/ commons/ f/ f2/ GloFish.jpg") | pictureList.kif 6594-6594 | Genetically engineered organism is a subclass of organism |
| (externalImage GeneticallyEngineeredOrganism "http://upload.wikimedia.org/ wikipedia/ commons/ f/ f7/ Btcornafrica.jpg") | pictureList.kif 7011-7011 | Genetically engineered organism is a subclass of organism |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ORGANISM GeneticallyEngineeredOrganism) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?ORGANISM)))) |
WMD.kif 233-238 | If X is an instance of genetically engineered organism, then there exists Y such that Y is an instance of intentional process and X is a result of Y |
|
