| ChemicalProduct | | chemical_product |
| appearance as argument number 1 |
|
|
| s__documentation(s__ChemicalProduct,s__EnglishLanguage,'ChemicalProduct is the subclass of Product comprising all chemical compounds that are end products or industrial products used in the manufacture of end products.')
|
Economy.kif 4702-4704 | |
| s__instance(s__ChemicalProduct,s__SetOrClass)
|
Economy.kif 4701-4701 |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage,s__ChemicalProduct,'chemical product')
|
domainEnglishFormat.kif 2810-2810 |
| consequent |
|
|
| ( ! [V__SHIP] : (s__instance(V__SHIP,s__ChemicalTankerShip) => s__cargoType(V__SHIP,s__ChemicalProduct)) )
|
Transportation.kif 2308-2310 | |
| ( ! [V__SHIP] : (s__instance(V__SHIP,s__LiquefiedGasTankerShip) => s__cargoType(V__SHIP,s__ChemicalProduct)) )
|
Transportation.kif 2319-2321 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1753-1763 |
|
|
|