Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ContinuousFunction
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Distributor Device) | Cars.kif 2116-2116 | Distributor is a subclass of device |
| (documentation Distributor EnglishLanguage "A mechanical Device that is part of an InternalCombustionEngine that sends electric power to the SparkPlugs at intervals that track the speed of engine rotation. They have been largely superceded in modern Automobile engines by electronic devices.") | Cars.kif 2118-2121 | Distributor is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Distributor "distributor") | Cars.kif 2117-2117 |
| antecedent |
|
|
| (=> (instance ?D Distributor) (hasPurpose ?D (exists (?SP ?S ?O ?R ?E) (and (instance ?E Engine) (instance ?SP SparkPlug) (instance ?S Spark) (part ?O ?D) (part ?D ?E) (part ?SP ?E) (instance ?R Rotating) (causes ?R ?S))))) |
Cars.kif 2123-2135 | If X is an instance of distributor, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that U is an instance of engine (3) Y is an instance of spark plug (4) Z is an instance of spark (5) W is a part of X (6) X is a part of U (7) Y is a part of U (8) V is an instance of rotating (9) V causes Z |
|