![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1878-1879 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1876-1876 | Child-care service is a subclass of maintaining |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1877-1877 | Child-care service is a subclass of service |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1880-1880 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1894-1899 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1883-1892 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1913-1925 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1901-1911 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1894-1899 |
|
![]() |
![]() |