Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ChemicalArtifact |
| appearance as argument number 1 |
|
| (subclass ChemicalArtifact Artifact) | Society.kif 565-565 | ChemicalArtifact is a subclass of artifact |
| (subclass ChemicalArtifact CompoundSubstance) | Society.kif 1394-1394 | ChemicalArtifact is a subclass of compound substance |
| (documentation ChemicalArtifact EnglishLanguage "ChemicalArtifact is the subclass of Artifact comprising all chemical compounds that are end products or industrial products used in the manufacture of end products.") | Society.kif 1396-1397 | ChemicalArtifact is a subclass of compound substance |
| appearance as argument number 2 |
|
|
|