rateDetail |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2984-2985 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2988-2988 | ε rateDetail, 1 and Reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2989-2989 | ε rateDetail, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2983-2983 | δΎ rateDetail and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4326-4326 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4325-4325 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4324-4324 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2986-2986 |