![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
SeriesVolumeFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass NaturalSubstance Substance) | Merge.kif 1153-1153 | Natural substance is a subclass of substance |
| (documentation NaturalSubstance EnglishLanguage "Any Substance that is not the result of an IntentionalProcess, i.e. any substance that occurs naturally.") | Merge.kif 1154-1155 | Natural substance is a subclass of substance |
| (externalImage NaturalSubstance "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Taxus_wood.jpg") | pictureList.kif 903-903 | Natural substance is a subclass of substance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition Substance SyntheticSubstance NaturalSubstance) | Merge.kif 1116-1116 | Substance is exhaustively partitioned into synthetic substance and natural substance |
| (domainSubclass secretesSubstance 2 NaturalSubstance) | Mid-level-ontology.kif 13806-13806 | The number 2 argument of secretes substance is a subclass of natural substance |