Physical(Fisico) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2456-2456 | O argumento numero 2 de environmentalProblemTypeInArea e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30688-30688 | O argumento numero 1 de firstInstanceCreated e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 337-337 | O argumento numero 2 de freeRoomAmenity e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 809-809 | O argumento numero 2 de functionRoomAmenity e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2257-2257 | O argumento numero 2 de naturalHazardTypeInArea e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 908-908 | O argumento numero 2 de nearOrientation e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 269-269 | O argumento numero 1 de negotiatedPrice e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 923-923 | O argumento numero 2 de onOrientation e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 383-383 | O argumento numero 2 de paidRoomAmenity e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 502-502 | O argumento numero 2 de propertyAmenity e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 454-454 | O argumento numero 1 de rentalPrice e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 279-279 | O argumento numero 2 de roomAmenity e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 952-952 | O argumento numero 2 de viewType e' uma sub-classe de Fisico |