Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ElectroMechanicalFitting(electromechanical fitting) |
| appearance as argument number 1 |
|
| (subclass ElectroMechanicalFitting Electromagnet) | engineering.kif 1021-1021 | Electromechanical fitting is a subclass of electromagnet |
| (documentation ElectroMechanicalFitting EnglishLanguage "An ElectroMechanicalFitting is an Electromagnet which takes in an electric current and use the electricity to control a Machine.") | engineering.kif 1022-1024 | Electromechanical fitting is a subclass of electromagnet |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ElectroMechanicalFitting "electromechanical fitting") | domainEnglishFormat.kif 65828-65828 |
| antecedent |
|
|
| (=> (instance ?X ElectroMechanicalFitting) (hasPurpose ?X (exists (?M ?E ?D) (and (instance ?M Motion) (instance ?E Electricity) (resource ?M ?E) (instrument ?M ?X) (patient ?M ?D) (instance ?D Machine))))) |
engineering.kif 1026-1036 | If X is an instance of electromechanical fitting, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of motion (3) Z is an instance of electricity (4) Z is a resource for Y (5) X is an instrument for Y (6) W is a patient of Y (7) W is an instance of machine |
|