Physical(physical) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2456-2456 | The number 2 argument of environmental problem type in area is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30676-30676 | The number 1 argument of first instance created is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 337-337 | The number 2 argument of free room amenity is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 809-809 | The number 2 argument of function room amenity is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2257-2257 | The number 2 argument of natural hazard type in area is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 908-908 | The number 2 argument of near orientation is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 269-269 | The number 1 argument of negotiated price is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 923-923 | The number 2 argument of on orientation is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 383-383 | The number 2 argument of paid room amenity is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 502-502 | The number 2 argument of property amenity is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 454-454 | The number 1 argument of rental price is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 279-279 | The number 2 argument of room amenity is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 952-952 | The number 2 argument of view type is a subclass of physical |