TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1262-1262	Colecao e' disjunto de Objeto auto-conectado
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	Colecao e' uma sub-classe de Objeto

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 e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4168-4168	O contra-dominio de QPViewsFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4233-4233	O contra-dominio de QualifiedTreatmentsFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4200-4200	O contra-dominio de QualifyingEventsFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3035-3035	O contra-dominio de QualifyingPurchasesFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 985-985	O contra-dominio de SellersItemsFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1024-1024	O contra-dominio de SellersOtherItemsFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3368-3368	O contra-dominio de SiteWideNewBuyersFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3420-3420	O contra-dominio de SiteWideNewRegistrationsFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3467-3467	O contra-dominio de SiteWideNewSellersFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4276-4276	O contra-dominio de TreatedUsersFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5842-5842	Archipelago e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	Food.kif 2507-2507	BoxOfChocolates e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	Dining.kif 255-255	Buffet e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5301-5301	ClothingSuit e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7618-7618	CommunicationSystem e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3317-3317	ComputerSystem e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22322-22322	Convoy e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	Music.kif 60-60	Discography e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25451-25451	FireSprinklerSystem e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3512-3512	Fleet e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1056-1056	GolgiApparatus e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16245-16245	Grupo e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 858-858	HomologousChromosomeSet e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1718-1718	HotelMiniBar e' uma sub-classe de Colecao

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	O argumento numero 1 de ABPFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3270-3270	O argumento numero 1 de ASPFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3193-3193	O argumento numero 1 de AuctionGMBFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2912-2912	O argumento numero 1 de BidCountFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2878-2878	O argumento numero 1 de BoughtItemsFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3327-3327	O argumento numero 1 de ClickThroughRateFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2841-2841	O argumento numero 1 de ConversionRateFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2947-2947	O argumento numero 1 de GMBFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2990-2990	O argumento numero 1 de GMVFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3658-3658	O argumento numero 1 de SCRFn e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 823-823	O argumento numero 2 de chromosomeSetCount e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3841-3841	O argumento numero 1 de controlGroup e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4034-4034	O argumento numero 1 de experimentalTreatmentCollection e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3519-3519	O argumento numero 3 de firstTimeBuyers e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3567-3567	O argumento numero 3 de firstTimeSellers e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1003-1003	O argumento numero 1 de fleetDeadWeightTonnage e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 985-985	O argumento numero 1 de fleetGrossRegisteredTonnage e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22717-22717	O argumento numero 2 de inventory e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4609-4609	O argumento numero 1 de meceCollection e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4611-4611	O argumento numero 2 de meceCollection e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1280-1280	O argumento numero 2 de member e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22699-22699	O argumento numero 2 de memberAtTime e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22633-22633	O argumento numero 1 de memberCount e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22648-22648	O argumento numero 1 de memberType e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22662-22662	O argumento numero 1 de memberTypeCount e' uma instancia de Colecao

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 Numero Inteiro Objeto e' uma &parte de EukaryoticCell Objeto e' uma instancia de CellNucleus EukaryoticCellOLL e' uma instancia de Colecao EukaryoticCellOLL e' situado em Objeto memberType EukaryoticCellOLL and Chromosome memberCount EukaryoticCellOLL and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 793-802	haploidNumber Gamete and Numero Inteiro Gamete e' uma instancia de Gamete Objeto e' uma &parte de Gamete Objeto e' uma instancia de CellNucleus Colecao e' uma instancia de Colecao Colecao e' situado em Objeto memberType Colecao and Chromosome memberCount Colecao and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Auctioning Sequencia Simbolica Entidade_PURCHASE_AMOUNT total a classe descrita por Sequencia Simbolica and Entidade_PURCHASE_AMOUNT AuctionGMBFn Colecao e' igual a Entidade_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	Colecao e' uma instancia de Colecao Numero Real e' uma instancia de Medida de Divisa Numero Inteiro e' uma instancia de Numero Real Numero Real e' igual a GMBFn Colecao Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica ABPFn Colecao e' igual a Numero Real + Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1003-1022	Objeto e' uma instancia de HexaploidCell Objeto e' uma &parte de Objeto Objeto e' uma instancia de CellNucleus Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Colecao Colecao and Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 973-983	Objeto e' uma instancia de PentaploidCell Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 5
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 950-965	Objeto e' uma instancia de TetraploidCell Objeto e' uma &parte de Objeto Objeto e' uma instancia de CellNucleus Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Colecao Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet Colecao e' uma sub-colecao de Colecao Colecao e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 920-930	Objeto e' uma instancia de TriploidCell Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Colecao e' situado em Objeto Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 3
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Transacao Financeira Sequencia Simbolica Entidade o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a BoughtItemsFn Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de WebListing o numero de instancias dentro de Entidade Entidade and Entidade a classe descrita por Entidade + o numero de instancias dentro de Colecao e' igual a BidCountFn Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de WebListing Sequencia Simbolica Entidade, Entidade and Sequencia Simbolica o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a BidCountFn Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite AutonomousAgent e' uma instancia de AutonomousAgent WebListing e' uma instancia de WebListing Ponto no tempo e' uma instancia de Ponto no tempo listingSeller WebListing and AutonomousAgent WebListing e' membro de Colecao Fisico Fisico Fisico e' uma instancia de WebListing Fisico e' membro de SellersItemsFn AutonomousAgent and WebSite Ponto no tempo e' uma &parte de tempo de existencia de Fisico Fisico e' igual a WebListing Fisico e' membro de Colecao Fisico e' membro de Colecao Ponto no tempo e' uma &parte de tempo de existencia de Fisico Fisico e' uma instancia de WebListing SellersOtherItemsFn AutonomousAgent, WebSite, WebListing and Ponto no tempo e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 938-948	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 4 Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Objeto e' uma instancia de TetraploidCell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 991-1001	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 6 Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Objeto e' uma instancia de HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3970-3985	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Objeto e' membro de Colecao Objeto e' uma &parte de CommonWheatGrass Colecao Colecao, Objeto and Objeto Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Objeto initialPart Objeto and EmmerWheatGrass Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Objeto initialPart Objeto and AegilopsTauschii
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3911-3926	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Objeto e' membro de Colecao Objeto e' uma &parte de DurumWheatGrass Colecao Colecao, Objeto and Objeto Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Objeto initialPart Objeto and TriticumUrartu Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Objeto initialPart Objeto and AegilopsSpeltoides
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3879-3894	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome Objeto e' membro de Colecao Objeto e' uma &parte de EmmerWheatGrass Colecao Colecao, Objeto and Objeto Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Objeto initialPart Objeto and EinkornWheatGrass Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de HomologousChromosomeSet memberType Colecao and Objeto initialPart Objeto and AegilopsGrass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 895-904	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 2 Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Objeto e' uma instancia de DiploidCell
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7939-7946	Processo e' uma instancia de LargeGroupProcess Colecao e' uma instancia de Colecao Fisico e' membro de Colecao involvedInEvent Processo and Fisico memberCount Colecao and Numero Inteiro Numero Inteiro e' maior que 10
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7948-7957	Processo e' uma instancia de LargeGroupProcess Colecao e' uma instancia de Colecao Fisico e' membro de Colecao involvedInEvent Processo and Fisico Classe ClasseC ClasseC e' uma instancia de Classe involvedInEvent ClasseC and Fisico
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Comprar Objeto Objeto e' uma instancia de Area Geopolitica AutonomousAgent Processo AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de Comprar Processo e' membro de Colecao Processo e' um agente de AutonomousAgent AutonomousAgent e' situado em Objeto Sequencia Simbolica Entidade and Entidade_PURCHASE_AMOUNT total a classe descrita por Sequencia Simbolica and Entidade_PURCHASE_AMOUNT GMBFn Colecao e' igual a Entidade_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Vender Objeto Objeto e' uma instancia de Area Geopolitica AutonomousAgent Processo AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de Comprar Processo e' membro de Colecao Processo e' um agente de AutonomousAgent AutonomousAgent e' situado em Objeto Sequencia Simbolica Entidade and Entidade_SALE_AMOUNT total a classe descrita por Sequencia Simbolica and Entidade_SALE_AMOUNT GMVFn Colecao e' igual a Entidade_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	Entidade_COLL e' uma instancia de Colecao Entidade_COLL e' uma instancia de Colecao Experimenting e' uma instancia de Experimenting Agente Cognitivo e' uma instancia de Agente Cognitivo Experimenting e' um agente de Agente Cognitivo statisticalPopulation Entidade_COLL, Entidade_COLL and Experimenting Atributo Atributo e' uma instancia de Atributo Entidade_COLL tem um atributo de Atributo Agente Cognitivo esta' interessado em Atributo Atributo e' igual a RepresentativeSample Entidade_COLL tem um atributo de Atributo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 483-489	Entidade_COLL e' uma instancia de Colecao Entidade_COLL e' uma instancia de Colecao Experimenting e' uma instancia de Experimenting statisticalPopulation Entidade_COLL, Entidade_COLL and Experimenting Entidade_COLL e' uma sub-colecao de Entidade_COLL
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3282-3302	Colecao e' uma instancia de Colecao Numero Real e' uma instancia de Medida de Divisa Numero Inteiro e' uma instancia de Numero Real Numero Real e' igual a GMVFn Colecao Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica ASPFn Colecao e' igual a Numero Real + Numero Inteiro

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 e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao WebListing WebListing e' uma instancia de WebListing hostedOn WebListing and WebSite listingSeller WebListing and AutonomousAgent WebListing e' membro de Colecao SellersItemsFn AutonomousAgent and WebSite e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	Intervalo Temporal e' uma instancia de AddToCart Entidade e' uma instancia de Objeto Entidade e' um patient de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Colecao WebSite, Posicao Temporal and Intervalo Temporal Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite Intervalo Temporal e' uma instancia de Intervalo Temporal webcart AutonomousAgent, Colecao and WebSite o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal Entidade e' membro de Colecao vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	Objeto e' uma instancia de Crystal MonoCrystalline e' um atributo de Objeto Objeto auto-conectado e' uma instancia de Substancia Solid e' um atributo de Objeto auto-conectado PolyCrystalline e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Substancia Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado ObjetoLNT Numero Inteiro and Objeto ObjetoLNT e' uma instancia de Colecao memberCount ObjetoLNT and Numero Inteiro Numero Inteiro e' maior ou igual a 4 Objeto e' membro de ObjetoLNT Objeto e' uma &parte de Objeto auto-conectado Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Food.kif 1012-1026	Processo e' uma instancia de Grinding Entidade e' um patient de Processo Entidade e' uma instancia de Objeto Corpuscular Entidade Entidade e' o resultado de Processo Entidade e' uma instancia de Colecao Entidade Entidade e' membro de Entidade Entidade e' uma &parte de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao AutonomousAgent AutonomousAgent e' membro de Colecao Intervalo Temporal AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' uma instancia de Comprar Intervalo Temporal e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Comprar Intervalo Temporal_BEFORE e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE acontece durante Intervalo Temporal vale durante Intervalo Temporal_BEFORE SiteWideNewBuyersFn Intervalo Temporal and WebSite e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao Fisico Fisico e' uma instancia de Humano Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal registeredUser Fisico and WebSite vale durante Intervalo Temporal_BEFORE Intervalo Temporal_DURING Intervalo Temporal_DURING e' uma instancia de Intervalo Temporal Intervalo Temporal_DURING acontece durante Intervalo Temporal registeredUser Fisico and WebSite vale durante Intervalo Temporal Fisico e' membro de Colecao Colecao e' igual a SiteWideNewRegistrationsFn Intervalo Temporal and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao AutonomousAgent AutonomousAgent e' membro de Colecao Intervalo Temporal AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' uma instancia de Vender Intervalo Temporal e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Vender Intervalo Temporal_BEFORE e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE acontece durante Intervalo Temporal vale durante Intervalo Temporal_BEFORE SiteWideNewSellersFn Intervalo Temporal and WebSite e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	Processo e' uma instancia de Processo Experimenting e' uma instancia de Experimenting Processo e' uma instancia de AutonomousAgent AutonomousAgent experimenta Processo experimentalVariableProcess Experimenting and Processo Entidade_GROUP Entidade_GROUP e' uma instancia de Colecao Processo e' membro de Entidade_GROUP controlGroup Entidade_GROUP and Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3968-3979	Processo e' uma instancia de Processo Experimenting e' uma instancia de Experimenting Processo e' uma instancia de AutonomousAgent AutonomousAgent experimenta Processo experimentalVariableProcess Experimenting and Processo Entidade_GROUP Entidade_GROUP e' uma instancia de Colecao Processo e' membro de Entidade_GROUP treatmentGroup Entidade_GROUP and Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	Colecao e' uma instancia de Colecao Objeto Corpuscular e' uma instancia de HypertextLink Fisico Fisico e' membro de Colecao Fisico e' uma instancia de AccessingWebPage Colecao e' um componente de Objeto Corpuscular Colecao Colecao e' uma instancia de Colecao Processo Processo e' uma instancia de RequestingHyperlink Objeto Corpuscular e' um patient de Processo Processo e' membro de Colecao ClickThroughRateFn Colecao and Objeto Corpuscular e' igual a o numero de instancias dentro de Colecao + o numero de instancias dentro de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1605-1621	Intervalo Temporal e' uma instancia de WatchItem Entidade e' uma instancia de Objeto Entidade e' um patient de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Colecao WebSite, Posicao Temporal and Intervalo Temporal Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite Intervalo Temporal e' uma instancia de Intervalo Temporal watchingListings AutonomousAgent, Colecao and WebSite o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal Entidade e' membro de Colecao vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4627-4636	meceCollection Colecao and Colecao Fisico e' membro de Colecao Fisico e' uma instancia de Objeto auto-conectado Colecao Colecao e' uma instancia de Colecao Fisico e' membro de Colecao Colecao e' membro de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4620-4625	meceCollection Colecao and Colecao Fisico e' membro de Colecao Fisico e' uma instancia de Objeto auto-conectado Fisico e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30944-30959	shortage Agente Cognitivo, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Quantidade e' uma instancia de Numero Inteiro Agente Cognitivo deseja Entidade Entidade Entidade e' uma instancia de Comprar tempo de existencia de Entidade acontece durante Intervalo Temporal objectTransferred Entidade and Entidade transactionAmount Entidade and Medida de Divisa Entidade e' um agente de Agente Cognitivo Entidade e' uma instancia de Colecao memberType Entidade and Objeto memberCount Entidade and Quantidade Agente Cognitivo possui Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30886-30896	shortage Agente Cognitivo, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Quantidade e' uma instancia de Numero Inteiro Agente Cognitivo deseja Entidade Entidade e' uma instancia de Colecao memberType Entidade and Objeto memberCount Entidade and Quantidade Agente Cognitivo possui Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30911-30926	shortage AutonomousAgent, Objeto, Medida de Divisa, Intervalo Temporal and Numero Inteiro Numero Inteiro e' uma instancia de Numero Inteiro Transferencia Colecao Transferencia e' uma instancia de Comprar tempo de existencia de Transferencia acontece durante Intervalo Temporal objectTransferred Transferencia and Colecao transactionAmount Transferencia and Medida de Divisa Transferencia e' um agente de AutonomousAgent Colecao e' uma instancia de Colecao memberType Colecao and Objeto memberCount Colecao and Numero Inteiro AutonomousAgent possui Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19429-19431	LineFormation e' um atributo de Objeto Objeto e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	naics.kif 7773-7782	Florists e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Designing Entidade e' uma instancia de Colecao memberType Entidade and Flower Entidade e' um patient de Entidade Entidade e' um agente de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10385-10397	breathingRate Lung, Intervalo Temporal and Numero Inteiro Colecao Processo Colecao e' uma instancia de Colecao memberType Colecao and Breath memberCount Colecao and Numero Inteiro Processo e' membro de Colecao Lung e' um patient de Processo tempo de existencia de Processo acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3124-3141	coilCount WireCoil and Numero Inteiro Colecao Colecao2F Colecao e' uma instancia de Colecao memberCount Colecao and Numero Inteiro Objeto Objeto e' membro de Colecao Colecao2F e' um atributo de Objeto Colecao2F e' uma instancia de ClosedTwoDimensionalFigure Objeto e' uma &parte de WireCoil Objeto2 Objeto2 engloba Objeto Objeto2 e' membro de Colecao
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4539-4546	engineCylinders Engine and Numero Inteiro nao-negativo Colecao EngineC Colecao e' uma instancia de Colecao memberTypeCount Colecao, EngineCylinder and Numero Inteiro nao-negativo EngineC e' membro de Colecao EngineC e' uma &parte de Engine
No TPTP formula. May not be expressible in strict first order.	Media.kif 3203-3205	groupingTitle Sequencia Simbolica, Classe and Linguagem Classe e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10344-10356	heartRate Heart, Intervalo Temporal and Numero Inteiro Colecao Processo Colecao e' uma instancia de Colecao memberType Colecao and HeartBeat memberCount Colecao and Numero Inteiro Processo e' membro de Colecao Heart e' um patient de Processo tempo de existencia de Processo acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25956-25963	Objeto Corpuscular e' uma instancia de OutletAdapter Colecao Colecao e' uma instancia de Colecao memberType Colecao and Buraco Colecao e' uma &parte de Objeto Corpuscular Metal e' feito de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1126-1139	Objeto e' uma instancia de BowlingBall Colecao Colecao e' uma instancia de Colecao memberType Colecao and Buraco memberCount Colecao and 3 Colecao e' situado em Objeto Colecao tem por fim Entidade Entidade Entidade e' membro de Colecao Entidade e' uma instancia de Finger Entidade completa partialmente Entidade

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

O argumento numero 1 de CardinalityFn e' uma instancia de a uniao de Conjunto ou Classe e Colecao

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: