propertyAmenity |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 497-498 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 501-501 | O argumento numero 1 de propertyAmenity e' uma instancia de AutonomousAgent |
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. | Hotel.kif 496-496 | propertyAmenity e' uma instancia de Predicado Binario |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4258-4258 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4257-4257 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4256-4256 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 540-540 | freePropertyAmenity e' uma sub-relacao de propertyAmenity |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 563-563 | paidPropertyAmenity e' uma sub-relacao de propertyAmenity |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 499-499 |
antecedent |
![]() |
![]() |
![]() |