BinaryPredicate(Predicado Binario) |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 932-932 | adjacentOrientation e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Government.kif 382-382 | administrativeCenter e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4012-4012 | administrator e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 183-183 | advertisedOn e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24139-24139 | affiliatedOrganization e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7518-7518 | age e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3419-3419 | agentName e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2234-2234 | agentOperatesInArea e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Government.kif 695-695 | agreementAdoptionDate e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14023-14023 | agreementEffectiveDate e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Government.kif 755-755 | agreementEffectiveDuring e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14048-14048 | agreementExpirationDate e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14009-14009 | agreementPeriod e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2230-2230 | agriculturalProductType e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2584-2584 | aimOfOrganization e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3091-3091 | airQualityIndex e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25672-25672 | airTemperature e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Music.kif 272-272 | albumArtist e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Music.kif 303-303 | albumCoverImage e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Music.kif 324-324 | albumLength e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Music.kif 253-253 | albumRelease e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Music.kif 333-333 | albumTrack e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Music.kif 289-289 | albumType e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23204-23204 | alias e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 163-163 | allRoomsPhysicalAmenity e' uma instancia de Predicado Binario |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |