Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ConductorSubstance(conductor substance)
|  | conductor |
| appearance as argument number 1 |
|
|
| (documentation ConductorSubstance EnglishLanguage "A Substance that readily conducts electricity.") | engineering.kif 1703-1704 | |
| (lexicon ConductorSubstance LexNoun "conductor") | engineering.kif 1705-1705 | |
| (subclass ConductorSubstance Substance) | engineering.kif 1706-1706 | Conductor substance is a subclass of substance |
| (externalImage ConductorSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 74/ Stranded_lamp_wire.jpg") | pictureList.kif 4622-4622 | Conductor substance is a subclass of substance |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?WC WireCoil) (material ConductorSubstance ?WC)) |
Cars.kif 2963-2965 | If X is an instance of wire coil, then X is made of conductor substance |
| (=> (instance ?C ElectricalConductor) (exists (?S) (and (subclass ?S ConductorSubstance) (material ?S ?C)))) |
engineering.kif 1233-1238 | If X is an instance of electrical conductor, then there exists Y such that Y is a subclass of conductor substance and X is made of Y |
|