No TPTP formula. May not be expressible in strict first order. | Dining.kif 639-639 | Reservation is a subclass of agreement |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2819-2819 | Travel reservation is a subclass of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2832-2832 | Flight reservation is a subclass of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2837-2837 | Tour reservation is a subclass of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2842-2842 | Hotel reservation is a subclass of reservation |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 744-744 | Dining reservation is a subclass of reservation |