TreeView Knowledge Base Browser

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 5301-5301	ClothingSuit est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7618-7618	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 22322-22322	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 25451-25451	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 1056-1056	GolgiApparatus est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16245-16245	Groupe est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 858-858	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 823-823	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 22717-22717	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 22699-22699	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 22633-22633	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 22648-22648	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 22662-22662	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

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 702-710	chromosomeNumber EukaryoticCell and nombre entier objet est une partie de EukaryoticCell objet est une instance de CellNucleus EukaryoticCellOLL est une instance de collection EukaryoticCellOLL est situ� � objet memberType EukaryoticCellOLL and Chromosome memberCount EukaryoticCellOLL and nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 793-802	haploidNumber Gamete and nombre entier Gamete est une instance de Gamete objet est une partie de Gamete objet est une instance de CellNucleus collection est une instance de collection collection est situ� � objet memberType collection and Chromosome memberCount collection and nombre entier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	Collection est une instance de collection physique physique est un membre de collection physique est une instance de Auctioning cha�ne sympbolique entit�_PURCHASE_AMOUNT total la classe d�crite par cha�ne sympbolique and entit�_PURCHASE_AMOUNT AuctionGMBFn collection est entit�_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	Collection est une instance de collection nombre r�el est une instance de mesure de devise nombre entier est une instance de nombre r�el nombre r�el est GMBFn collection nombre entier est instances dans la classe d�crite par cha�ne sympbolique ABPFn collection est nombre r�el + nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1003-1022	Objet est une instance de HexaploidCell objet est une partie de objet objet est une instance de CellNucleus collection est situ� � objet collection est une instance de collection memberType collection and Chromosome collection collection and collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 973-983	Objet est une instance de PentaploidCell objet est une instance de CellNucleus objet est une partie de objet collection est situ� � objet collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 5
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 950-965	Objet est une instance de TetraploidCell objet est une partie de objet objet est une instance de CellNucleus collection est situ� � objet collection est une instance de collection memberType collection and Chromosome collection collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 920-930	Objet est une instance de TriploidCell objet est une instance de CellNucleus objet est une partie de objet collection est situ� � objet collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 3
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	Collection est une instance de collection physique physique est un membre de collection physique est une instance de financial transaction cha�ne sympbolique entit� le nombre d' instances dans la classe d�crite par cha�ne sympbolique est BoughtItemsFn collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	Collection est une instance de collection physique physique est un membre de collection physique est une instance de WebListing le nombre d' instances dans entit� entit� and entit� la classe d�crite par entit� + le nombre d' instances dans collection est BidCountFn collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	Collection est une instance de collection physique physique est un membre de collection physique est une instance de WebListing cha�ne sympbolique entit�, entit� and cha�ne sympbolique le nombre d' instances dans la classe d�crite par cha�ne sympbolique est BidCountFn collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	Collection est une instance de collection WebSite est une instance de WebSite AutonomousAgent est une instance de AutonomousAgent WebListing est une instance de WebListing point temporel est une instance de point temporel listingSeller WebListing and AutonomousAgent WebListing est un membre de collection physique physique physique est une instance de WebListing physique est un membre de SellersItemsFn AutonomousAgent and WebSite point temporel est une partie de temps d'existence de physique physique est WebListing physique est un membre de collection physique est un membre de collection point temporel est une partie de temps d'existence de physique physique est une instance de WebListing SellersOtherItemsFn AutonomousAgent, WebSite, WebListing and point temporel est collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 938-948	Collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 4 collection est situ� � objet objet est une instance de CellNucleus objet est une partie de objet objet est une instance de TetraploidCell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 991-1001	Collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 6 collection est situ� � objet objet est une instance de CellNucleus objet est une partie de objet objet est une instance de HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3970-3985	Collection est une instance de collection memberType collection and Chromosome objet est un membre de collection objet est une partie de CommonWheatGrass collection collection, objet and objet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and EmmerWheatGrass collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and AegilopsTauschii
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3911-3926	Collection est une instance de collection memberType collection and Chromosome objet est un membre de collection objet est une partie de DurumWheatGrass collection collection, objet and objet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and TriticumUrartu collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and AegilopsSpeltoides
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3879-3894	Collection est une instance de collection memberType collection and Chromosome objet est un membre de collection objet est une partie de EmmerWheatGrass collection collection, objet and objet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and EinkornWheatGrass collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and AegilopsGrass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 895-904	Collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 2 collection est situ� � objet objet est une instance de CellNucleus objet est une partie de objet objet est une instance de DiploidCell
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7939-7946	Processus est une instance de LargeGroupProcess collection est une instance de collection physique est un membre de collection involvedInEvent processus and physique memberCount collection and nombre entier nombre entier est plus grand que 10
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7948-7957	Processus est une instance de LargeGroupProcess collection est une instance de collection physique est un membre de collection involvedInEvent processus and physique classe classeC classeC est une instance de classe involvedInEvent classeC and physique
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	Collection est une instance de collection physique physique est un membre de collection physique est une instance de acheter objet objet est une instance de secteur g�opolitique AutonomousAgent processus AutonomousAgent est une instance de AutonomousAgent processus est une instance de acheter processus est un membre de collection processus est un agent de AutonomousAgent AutonomousAgent est situ� � objet cha�ne sympbolique entit� and entit�_PURCHASE_AMOUNT total la classe d�crite par cha�ne sympbolique and entit�_PURCHASE_AMOUNT GMBFn collection est entit�_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	Collection est une instance de collection physique physique est un membre de collection physique est une instance de vendre objet objet est une instance de secteur g�opolitique AutonomousAgent processus AutonomousAgent est une instance de AutonomousAgent processus est une instance de acheter processus est un membre de collection processus est un agent de AutonomousAgent AutonomousAgent est situ� � objet cha�ne sympbolique entit� and entit�_SALE_AMOUNT total la classe d�crite par cha�ne sympbolique and entit�_SALE_AMOUNT GMVFn collection est entit�_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	Entit�_COLL est une instance de collection entit�_COLL est une instance de collection Experimenting est une instance de Experimenting agent cognitif est une instance de agent cognitif Experimenting est un agent de agent cognitif statisticalPopulation entit�_COLL, entit�_COLL and Experimenting attribut attribut est une instance de attribut entit�_COLL a un attribute attribut agent cognitif est interess� par attribut attribut est RepresentativeSample entit�_COLL a un attribute attribut
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 483-489	Entit�_COLL est une instance de collection entit�_COLL est une instance de collection Experimenting est une instance de Experimenting statisticalPopulation entit�_COLL, entit�_COLL and Experimenting entit�_COLL est une sous-collection appartenant � entit�_COLL
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3282-3302	Collection est une instance de collection nombre r�el est une instance de mesure de devise nombre entier est une instance de nombre r�el nombre r�el est GMVFn collection nombre entier est instances dans la classe d�crite par cha�ne sympbolique ASPFn collection est nombre r�el + nombre entier

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	AutonomousAgent est une instance de AutonomousAgent WebSite est une instance de WebSite collection collection est une instance de collection WebListing WebListing est une instance de WebListing hostedOn WebListing and WebSite listingSeller WebListing and AutonomousAgent WebListing est un membre de collection SellersItemsFn AutonomousAgent and WebSite est collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	Interval temporel est une instance de AddToCart entit� est une instance de objet entit� est un patient de interval temporel interval temporel est un agent de AutonomousAgent collection WebSite, position temporel and interval temporel collection est une instance de collection WebSite est une instance de WebSite interval temporel est une instance de interval temporel webcart AutonomousAgent, collection and WebSite le d�but de interval temporel est fin de interval temporel entit� est un membre de collection pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	Objet est une instance de Crystal MonoCrystalline est un attribut de objet objet en une partie est une instance de substance Solid est un attribut de objet en une partie PolyCrystalline est un attribut de objet en une partie objet en une partie est une instance de substance objet en une partie est une surface de objet en une partie objet est une partie de objet en une partie objetLNT nombre entier and objet objetLNT est une instance de collection memberCount objetLNT and nombre entier nombre entier est plus grand ou �gal � 4 objet est un membre de objetLNT objet est une partie de objet en une partie objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Food.kif 1012-1026	Processus est une instance de Grinding entit� est un patient de processus entit� est une instance de objet corpusculaire entit� entit� est le resultat de processus entit� est une instance de collection entit� entit� est un membre de entit� entit� est une partie de entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection AutonomousAgent AutonomousAgent est un membre de collection interval temporel AutonomousAgent est une instance de AutonomousAgent interval temporel est une instance de acheter interval temporel est un agent de AutonomousAgent WebSite est un instrument pour interval temporel interval temporel prend place pendant interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de acheter interval temporel_BEFORE est un agent de AutonomousAgent WebSite est un instrument pour interval temporel_BEFORE interval temporel_BEFORE prend place pendant interval temporel pendant interval temporel_BEFORE SiteWideNewBuyersFn interval temporel and WebSite est collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection physique physique est une instance de humain interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel registeredUser physique and WebSite pendant interval temporel_BEFORE interval temporel_DURING interval temporel_DURING est une instance de interval temporel interval temporel_DURING prend place pendant interval temporel registeredUser physique and WebSite pendant interval temporel physique est un membre de collection collection est SiteWideNewRegistrationsFn interval temporel and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection AutonomousAgent AutonomousAgent est un membre de collection interval temporel AutonomousAgent est une instance de AutonomousAgent interval temporel est une instance de vendre interval temporel est un agent de AutonomousAgent WebSite est un instrument pour interval temporel interval temporel prend place pendant interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de vendre interval temporel_BEFORE est un agent de AutonomousAgent WebSite est un instrument pour interval temporel_BEFORE interval temporel_BEFORE prend place pendant interval temporel pendant interval temporel_BEFORE SiteWideNewSellersFn interval temporel and WebSite est collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	Processus est une instance de processus Experimenting est une instance de Experimenting processus est une instance de AutonomousAgent AutonomousAgent exp�rimente processus experimentalVariableProcess Experimenting and processus entit�_GROUP entit�_GROUP est une instance de collection processus est un membre de entit�_GROUP controlGroup entit�_GROUP and Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3968-3979	Processus est une instance de processus Experimenting est une instance de Experimenting processus est une instance de AutonomousAgent AutonomousAgent exp�rimente processus experimentalVariableProcess Experimenting and processus entit�_GROUP entit�_GROUP est une instance de collection processus est un membre de entit�_GROUP treatmentGroup entit�_GROUP and Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	Collection est une instance de collection objet corpusculaire est une instance de HypertextLink physique physique est un membre de collection physique est une instance de AccessingWebPage collection est un composant de objet corpusculaire collection collection est une instance de collection processus processus est une instance de RequestingHyperlink objet corpusculaire est un patient de processus processus est un membre de collection ClickThroughRateFn collection and objet corpusculaire est instances dans collection + le nombre d' instances dans collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1605-1621	Interval temporel est une instance de WatchItem entit� est une instance de objet entit� est un patient de interval temporel interval temporel est un agent de AutonomousAgent collection WebSite, position temporel and interval temporel collection est une instance de collection WebSite est une instance de WebSite interval temporel est une instance de interval temporel watchingListings AutonomousAgent, collection and WebSite le d�but de interval temporel est fin de interval temporel entit� est un membre de collection pendant position temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4627-4636	meceCollection collection and collection physique est un membre de collection physique est une instance de objet en une partie collection collection est une instance de collection physique est un membre de collection collection est un membre de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4620-4625	meceCollection collection and collection physique est un membre de collection physique est une instance de objet en une partie physique est une instance de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30944-30959	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30886-30896	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30911-30926	shortage AutonomousAgent, objet, mesure de devise, interval temporel and nombre entier nombre entier est une instance de nombre entier transf�re collection transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and collection transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent collection est une instance de collection memberType collection and objet memberCount collection and nombre entier AutonomousAgent poss�de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19429-19431	LineFormation est un attribut de objet objet est une instance de collection
No TPTP formula. May not be expressible in strict first order.	naics.kif 7773-7782	Florists est un attribut de objet objet a pour but entit� entit� entit� est une instance de Designing entit� est une instance de collection memberType entit� and Flower entit� est un patient de entit� entit� est un agent de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10385-10397	breathingRate Lung, interval temporel and nombre entier collection processus collection est une instance de collection memberType collection and Breath memberCount collection and nombre entier processus est un membre de collection Lung est un patient de processus temps d'existence de processus prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3124-3141	coilCount WireCoil and nombre entier collection collection2F collection est une instance de collection memberCount collection and nombre entier objet objet est un membre de collection collection2F est un attribut de objet collection2F est une instance de ClosedTwoDimensionalFigure objet est une partie de WireCoil objet2 objet2 recouvre objet objet2 est un membre de collection
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4539-4546	engineCylinders Engine and nombre entier non n�gatif collection EngineC collection est une instance de collection memberTypeCount collection, EngineCylinder and nombre entier non n�gatif EngineC est un membre de collection EngineC est une partie de Engine
No TPTP formula. May not be expressible in strict first order.	Media.kif 3203-3205	groupingTitle cha�ne sympbolique, classe and langage classe est une sous-classe de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10344-10356	heartRate Heart, interval temporel and nombre entier collection processus collection est une instance de collection memberType collection and HeartBeat memberCount collection and nombre entier processus est un membre de collection Heart est un patient de processus temps d'existence de processus prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25956-25963	Objet corpusculaire est une instance de OutletAdapter collection collection est une instance de collection memberType collection and trou collection est une partie de objet corpusculaire m�tal est fait de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1126-1139	Objet est une instance de BowlingBall collection collection est une instance de collection memberType collection and trou memberCount collection and 3 collection est situ� � objet collection a pour but entit� entit� entit� est un membre de collection entit� est une instance de Finger entit� remplie partiellemnet entit�

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: