appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1377-1378 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1376-1376 | 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 1379-1379 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2714-2722 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1381-1386 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1390-1400 |
|
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 2696-2701 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1393-1398 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1406-1412 |
|
![]() |
![]() |