TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22637-22638
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22634-22634	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 22635-22635	O argumento numero 2 de memberCount e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22633-22633	memberCount e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1683-1683
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1682-1682
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1681-1681
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37001-37001
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37000-37000
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36999-36999

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 743-747	MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet memberCount MonoploidChromosomeSet and Numero Inteiro monoploidNumber MonoploidChromosomeSet and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7940-7947	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.	ComputingBrands.kif 4187-4195	Processo e' uma instancia de Spamming Colecao e' uma instancia de GroupOfPeople memberCount Colecao and Numero Inteiro Processo termina em Colecao o argumento Numero Inteiro e' maior que 100 tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21952-21958	Processo e' uma instancia de Kidnapping Colecao e' uma instancia de GroupOfPeople memberCount Colecao and Numero Inteiro Colecao e' um patient de Processo Numero Inteiro e' menos que 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22679-22683	memberCount Colecao and Numero Inteiro memberTypeCount Colecao, Classe and Numero Inteiro nao-negativo Numero Inteiro e' maior ou igual a Numero Inteiro nao-negativo
No TPTP formula. May not be expressible in strict first order.	Government.kif 2074-2078	seatsInOrganizationCount Organizacao and Numero Inteiro memberCount Organizacao and Numero Inteiro Numero Inteiro e' maior ou igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22640-22646	memberCount Colecao and Numero Inteiro Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 1528-1539	beliefGroupPercentInRegion BeliefGroup, Numero Real and Area Geografica Colecao Colecao, Fisico, Fisico2, Numero Real1 and Numero Real2 Fisico e' situado em Area Geografica Fisico e' membro de BeliefGroup Fisico e' membro de Colecao memberCount Colecao and Numero Real1 Fisico2 e' situado em Area Geografica Fisico2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2
No TPTP formula. May not be expressible in strict first order.	People.kif 1547-1558	ethnicityPercentInRegion Grupo Etnico, Numero Real and Area Geografica Colecao Colecao, Fisico, Fisico2, Numero Real1 and Numero Real2 Fisico e' situado em Area Geografica Fisico e' membro de Grupo Etnico Fisico e' membro de Colecao memberCount Colecao and Numero Real1 Fisico2 e' situado em Area Geografica Fisico2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	languagePercentInRegion Linguagem, Numero Real and Area Geografica Colecao Colecao, Agente Sentiente, Agente Sentiente2, Numero Real1 and Numero Real2 Agente Sentiente e' situado em Area Geografica Agente Sentiente e' membro de Colecao speaksLanguage Agente Sentiente and Linguagem memberCount Colecao and Numero Real1 Agente Sentiente2 e' situado em Area Geografica Agente Sentiente2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 703-711	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 794-803	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.	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.	Cars.kif 1772-1786	Objeto e' uma instancia de Substancia Composta Substancia Composta e' uma sub-classe de Substancia Composta Objeto Objeto e' uma instancia de Substancia Composta Objeto e' uma &parte de Objeto molecularRatio Substancia Elementar, Numero Inteiro and Substancia Composta Colecao e' uma instancia de Grupo Objeto e' membro de Colecao Objeto e' uma &parte de Objeto Objeto e' uma instancia de Substancia Elementar memberCount Colecao and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1450-1456	Colecao e' uma instancia de Eyebrow Healthy e' um atributo de Objeto Colecao e' uma &parte de Objeto Fisico e' membro de Colecao memberCount Colecao and 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3528-3533	Colecao e' uma instancia de Fleet fleetSize AutonomousAgent and Numero Inteiro AutonomousAgent possui Colecao memberCount Colecao and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	maxRoomCapacity Artefato Estacionario and Numero Inteiro Entidade e' uma instancia de Artefato Estacionario Entidade e' um elemento de propriedade de AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de GroupOfPeople memberCount Entidade and Entidade Entidade e' menor ou igual a Numero Inteiro stays Entidade and Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2883-2892	numberAdultOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Colecao e' uma instancia de GroupOfPeople memberType Colecao and HumanAdult memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	numberChildOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Colecao Colecao e' uma instancia de GroupOfPeople Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de GroupOfPeople memberType Colecao and HumanChild memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	numberOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Colecao e' uma instancia de GroupOfPeople memberType Colecao and Humano memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 732-742	numberOfCustomers Inteiro positivo and Reservation fulfillingEntity AutonomousAgent and Reservation reservingEntity AutonomousAgent and Reservation Colecao potentialCustomer Colecao and AutonomousAgent Colecao e' uma instancia de GroupOfPeople AutonomousAgent e' membro de Colecao memberCount Colecao and Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	numberSeniorOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Numero Real Colecao e' uma instancia de GroupOfPeople Fisico Fisico e' membro de Colecao Fisico e' uma instancia de HumanAdult a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior ou igual a 60 memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30956-30971	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 30898-30908	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 30923-30938	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 10386-10398	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.	Hotel.kif 790-800	capacityByArrangement Regiao, Proposicao and Numero Inteiro Regiao define Proposicao o argumento Entidade Entidade Entidade e' uma instancia de GroupOfPeople memberCount Entidade and Entidade Entidade e' menor ou igual a Numero Inteiro Entidade e' situado em Regiao tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3117-3133	coilCount WireCoil and Numero Inteiro Colecao Colecao e' uma instancia de Colecao memberCount Colecao and Numero Inteiro Objeto Objeto e' membro de Colecao ClosedTwoDimensionalFigure e' um atributo de Objeto 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.	Mid-level-ontology.kif 10345-10357	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.	Sports.kif 1125-1138	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1972-1983	Fisico e' uma instancia de Bus Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Colecao Entidade e' uma instancia de Transporte memberCount Entidade and Entidade Entidade e' maior que 11 Entidade e' membro de Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 78-88	Objeto e' uma instancia de ParkingLot Colecao Numero Inteiro Colecao e' situado em Objeto Fisico Fisico e' membro de Colecao Fisico e' uma instancia de ParkingRegion memberCount Colecao and Numero Inteiro Numero Inteiro e' maior que 1

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: