ChestSeal
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1399-1400 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1398-1398 | Cable is a subclass of engineering connection |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1401-1401 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2746-2754 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1403-1408 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1422-1432 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 577-586 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2728-2733 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1415-1420 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1428-1434 |
|