Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Lubricant(lubricant) |  | drilling_fluid, drilling_mud, lube, lubricant, lubricating_substance, lubricator |
| appearance as argument number 1 |
|
|
| (subclass Lubricant Substance) | Mid-level-ontology.kif 13972-13972 | Lubricant is a subclass of substance |
| (documentation Lubricant EnglishLanguage "Any Substance that reduces Friction between two objects that are in contact and move with respect to one another. Note that this does not include CorpuscularObjects like BallBearings.") | Mid-level-ontology.kif 13974-13976 | Lubricant is a subclass of substance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Lubricant "lubricant") | Mid-level-ontology.kif 13973-13973 | |
| (subclass Grease Lubricant) | Cars.kif 2888-2888 | Grease is a subclass of lubricant |
| consequent |
|
|
| (=> (instance ?LP Lubricating) (exists (?L) (and (instance ?L Lubricant) (objectTransferred ?LP ?L)))) |
Mid-level-ontology.kif 13983-13988 | If X is an instance of lubricating, then there exists Y such that Y is an instance of lubricant and the object transferred in X is Y |
|