Collection
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1262-1262 | Collection est disjoint de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1630-1632 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1264-1268 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 212-215 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 252-255 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10668-10668 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10667-10667 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10663-10663 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10674-10674 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10662-10662 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10673-10673 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9948-9948 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10666-10666 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10672-10672 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10669-10669 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10659-10659 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10671-10671 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10661-10661 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10660-10660 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10670-10670 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10675-10675 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10665-10665 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10664-10664 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1261-1261 | Collection est une sous-classe de objet |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2607-2607 | UnitedStatesMinorOutlyingIslands est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4168-4168 | Le domaine de QPViewsFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4233-4233 | Le domaine de QualifiedTreatmentsFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4200-4200 | Le domaine de QualifyingEventsFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3035-3035 | Le domaine de QualifyingPurchasesFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 985-985 | Le domaine de SellersItemsFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1024-1024 | Le domaine de SellersOtherItemsFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3368-3368 | Le domaine de SiteWideNewBuyersFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3420-3420 | Le domaine de SiteWideNewRegistrationsFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3467-3467 | Le domaine de SiteWideNewSellersFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4276-4276 | Le domaine de TreatedUsersFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5842-5842 | Archipelago est une sous-classe de collection |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2507-2507 | BoxOfChocolates est une sous-classe de collection |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 255-255 | Buffet est une sous-classe de collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5302-5302 | ClothingSuit est une sous-classe de collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7619-7619 | CommunicationSystem est une sous-classe de collection |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3317-3317 | ComputerSystem est une sous-classe de collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22323-22323 | Convoy est une sous-classe de collection |
No TPTP formula. May not be expressible in strict first order. | Music.kif 60-60 | Discography est une sous-classe de collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25452-25452 | FireSprinklerSystem est une sous-classe de collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3512-3512 | Fleet est une sous-classe de collection |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1057-1057 | GolgiApparatus est une sous-classe de collection |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16223-16223 | Groupe est une sous-classe de collection |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 859-859 | HomologousChromosomeSet est une sous-classe de collection |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1718-1718 | HotelMiniBar est une sous-classe de collection |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3225-3225 | Le nombre 1 argument de ABPFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3270-3270 | Le nombre 1 argument de ASPFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3193-3193 | Le nombre 1 argument de AuctionGMBFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2912-2912 | Le nombre 1 argument de BidCountFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2878-2878 | Le nombre 1 argument de BoughtItemsFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3327-3327 | Le nombre 1 argument de ClickThroughRateFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2841-2841 | Le nombre 1 argument de ConversionRateFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2947-2947 | Le nombre 1 argument de GMBFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2990-2990 | Le nombre 1 argument de GMVFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3658-3658 | Le nombre 1 argument de SCRFn est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 824-824 | Le nombre 2 argument de chromosomeSetCount est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3841-3841 | Le nombre 1 argument de controlGroup est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4034-4034 | Le nombre 1 argument de experimentalTreatmentCollection est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3519-3519 | Le nombre 3 argument de firstTimeBuyers est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3567-3567 | Le nombre 3 argument de firstTimeSellers est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1003-1003 | Le nombre 1 argument de fleetDeadWeightTonnage est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 985-985 | Le nombre 1 argument de fleetGrossRegisteredTonnage est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22718-22718 | Le nombre 2 argument de inventory est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4609-4609 | Le nombre 1 argument de meceCollection est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4611-4611 | Le nombre 2 argument de meceCollection est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1280-1280 | Le nombre 2 argument de member est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22700-22700 | Le nombre 2 argument de memberAtTime est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22634-22634 | Le nombre 1 argument de memberCount est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22649-22649 | Le nombre 1 argument de memberType est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22663-22663 | Le nombre 1 argument de memberTypeCount est une instance de collection |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5508-5508 | Le nombre 1 argument de CardinalityFn est une instance de l' union de ensemble ou classe et collection |