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 24138-24138 | 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 14022-14022 | 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 14047-14047 | agreementExpirationDate e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14008-14008 | 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 3087-3087 | airQualityIndex e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25660-25660 | 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 23203-23203 | 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 |