ChemicalProduct(chemical product) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6215-6217 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6214-6214 | Chemical product is a subclass of compound substance |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14331-14331 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14330-14330 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14329-14329 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2550-2552 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2561-2563 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1820-1830 |
|
![]() |
![]() |