Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Radiator(radiator) |  | radiator |
| appearance as argument number 1 |
|
|
| (subclass Radiator EngineeringComponent) | Cars.kif 2043-2043 | Radiator is a subclass of engineering component |
| (documentation Radiator EnglishLanguage "A Device which is designed for having a Liquid travel through a metal honeycomb, in order to cool the liquid, which in turn is used to cool something else.") | Cars.kif 2045-2047 | Radiator is a subclass of engineering component |
| (typicalPart Radiator LiquidEngineCoolingSystem) | Cars.kif 2048-2048 | A radiator is typically a part of a water cooling system |
| (typicallyContainsPart Radiator LiquidEngineCoolingSystem) | Cars.kif 2049-2049 | A water cooling system typically has a part radiator |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Radiator "radiator") | Cars.kif 2044-2044 |
| antecedent |
|
|
| (=> (instance ?R Radiator) (hasPurpose ?R (exists (?C) (and (instance ?C Cooling) (instrument ?C ?R))))) |
Cars.kif 2051-2057 | If X is an instance of radiator, then X has the purpose there exists Y such that Y is an instance of cooling and X is an instrument for Y |
|