TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2086-2087
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3907-3909
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 734-735
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3904-3904	O argumento numero 2 de capability e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3905-3905	O argumento numero 3 de capability e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3903-3903	O argumento numero 1 de capability e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3902-3902	capability e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 67-67
No TPTP formula. May not be expressible in strict first order.	english_format.kif 67-67
No TPTP formula. May not be expressible in strict first order.	french_format.kif 59-59
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 40-40
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1882-1882
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 11-11
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 74-74
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 74-74
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 82-82
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 78-78
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 58-58
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 96-96
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13020-13020
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 68-68
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13019-13019
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13018-13018
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 19-19
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 97-97

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 134-143	Muslim e' um atributo de Objeto Objeto e' capaz de fazer Hajj no role agent o argumento Entidade Entidade e' uma instancia de Hajj Entidade e' um agente de Objeto tem a forca modal de Obligation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	TravelerAccommodation e' um atributo de AutonomousAgent AutonomousAgent e' capaz de fazer RoomCleaningService no role agent Agente Cognitivo Objeto AutonomousAgent emprega Agente Cognitivo Maid e' um atributo de Agente Cognitivo Objeto e' uma instancia de HotelUnit Objeto e' uma &parte de propriedade de AutonomousAgent Objeto e' capaz de fazer RoomCleaningService no role patient Agente Cognitivo e' capaz de fazer RoomCleaningService no role serviceProvider
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	Objeto e' capaz de fazer Processo no role Role em Caso Processo e' uma sub-classe de Atirar Objeto Objeto e' uma instancia de Arma Objeto e' uma &parte de Objeto Objeto e' capaz de fazer Processo no role Role em Caso
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 157-176	Organizacao e' capaz de fazer ValetParking no role agent customer Agente Cognitivo and Organizacao Organizacao e' situado em Objeto Processo e' uma instancia de Arriving Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Processo termina em Objeto Humano Humano ocupa a posicao de Valet Organizacao o argumento Entidade Entidade Entidade e' uma instancia de ValetParking Entidade e' um agente de Humano Entidade e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de ParkingRegion tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3001-3009	Objeto e' uma instancia de PortFacility Objeto e' capaz de fazer ShipBerthing no role patient Objeto Objeto e' uma instancia de Harbor Objeto e' conectado com Objeto Objeto e' capaz de fazer ShipBerthing no role path
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	Humano e' uma instancia de Humano Colecao e' uma instancia de Colecao Experimenting Fisico Processo Experimenting e' uma instancia de Experimenting Fisico e' uma instancia de Processo Fisico e' membro de QualifyingEventsFn Experimenting Fisico e' uma instancia de Processo Humano e' capaz de fazer Processo no role experiencer Fisico e' membro de Colecao Fisico e' membro de Colecao Fisico e' uma instancia de Processo Experimenting FisicoESS Experimenting e' uma instancia de Experimenting Fisico e' membro de QualifyingEventsFn Experimenting Fisico e' uma instancia de FisicoESS Humano e' capaz de fazer FisicoESS no role experiencer QualifiedTreatmentsFn Humano e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	orthogonalTests Colecao and Colecao Objeto e' uma instancia de Humano Fisico e' uma instancia de Processo Processo e' uma sub-classe de Experimenting Fisico e' membro de Colecao Objeto e' capaz de fazer Processo no role experimentalSubject Fisico Processo Fisico e' uma instancia de Processo Fisico e' membro de Colecao Processo e' uma sub-classe de Experimenting Objeto e' capaz de fazer Processo no role experimentalSubject
No TPTP formula. May not be expressible in strict first order.	Government.kif 1214-1220	ExclusiveMaleSuffrage e' uma &sub-proposicao de RegionalLawFn Nacao Humano e' um cidadao de Nacao Election e' uma instancia de ElectionFn Nacao Humano e' capaz de fazer VotingFn Election no role agent Male e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2725-2734	Processo e' uma sub-classe de Translocation Processo e' uma instancia de Processo eventLocated Processo and Regiao Role em Caso e' uma instancia de Role em Caso Objeto e' uma instancia de Objeto Regiao e' uma instancia de Area Geografica Objeto e' capaz de fazer Processo no role Role em Caso capableAtLocation Processo, Role em Caso, Objeto and Regiao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1016-1024	suffrageAgeMaximum AutonomousAgent and Numero Real YearDuration(s) Election e' uma instancia de ElectionFn AutonomousAgent Objeto e' capaz de fazer VotingFn Election no role agent a idade de Objeto e' Numero Real YearDuration(s) Numero Real e' menor ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Government.kif 1004-1014	suffrageAgeMaximum AutonomousAgent and Numero Real YearDuration(s) Election e' uma instancia de ElectionFn AutonomousAgent Objeto e' capaz de fazer VotingFn Election no role agent Numero Real a idade de Objeto e' Numero Real YearDuration(s) Numero Real e' menor ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Government.kif 944-952	suffrageAgeMinimum AutonomousAgent and Numero Real YearDuration(s) Election e' uma instancia de ElectionFn AutonomousAgent Objeto e' capaz de fazer VotingFn Election no role agent a idade de Objeto e' Numero Real YearDuration(s) Numero Real e' maior ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Government.kif 932-942	suffrageAgeMinimum AutonomousAgent and Numero Real YearDuration(s) Election e' uma instancia de ElectionFn AutonomousAgent Objeto e' capaz de fazer VotingFn Election no role agent Numero Real a idade de Objeto e' Numero Real YearDuration(s) Numero Real e' maior ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	weaponCarryingCapability MilitaryVehicle, Arma and Inteiro positivo Objeto e' uma instancia de Arma Objeto e' capaz de fazer Processo no role Role em Caso Processo e' uma sub-classe de Atirar Processo e' uma sub-classe de Causar Dano MilitaryVehicle e' capaz de fazer Processo no role Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3919-3925	Objeto e' capaz de fazer Processo no role Role em Caso o argumento Entidade Entidade e' uma instancia de Processo Role em Caso Entidade and Objeto tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11218-11223	Objeto Corpuscular e' capaz de fazer Respirar no role experiencer Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de Lung
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1883-1888	AutonomousAgent e' capaz de fazer ChildCareService no role agent Agente Cognitivo AutonomousAgent emprega Agente Cognitivo Agente Cognitivo e' capaz de fazer ChildCareService no role serviceProvider
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 152-155	Organizacao e' capaz de fazer ValetParking no role agent Humano Humano ocupa a posicao de Valet Organizacao
No TPTP formula. May not be expressible in strict first order.	Law.kif 384-388	trusts Agente Cognitivo, AutonomousAgent and AutonomousAgent e' capaz de fazer Entidade no role agent Agente Cognitivo sabe AutonomousAgent e' capaz de fazer Entidade no role agent

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1601-1607	LegalAgent e' um atributo de Entidade vale durante Posicao Temporal Entidade e' capaz de fazer Acao Legal no role agent Entidade e' capaz de fazer Acao Legal no role patient vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 599-604	activityCapability AutonomousAgent and Processo Objeto Objeto e' um elemento de propriedade de AutonomousAgent Objeto e' capaz de fazer Processo no role located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10712-10723	antagonistMuscles Musculo and Musculo Movimento e' uma instancia de Extension MusculoC e' um instrumento para Movimento moves Movimento and MusculoC MusculoC e' uma instancia de Musculo MusculoC e' uma instancia de Musculo MusculoC e' uma &parte de Objeto MusculoC e' uma &parte de Objeto Objeto e' uma instancia de Animal MusculoC e' capaz de fazer Flexion no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10699-10710	antagonistMuscles Musculo and Musculo Movimento e' uma instancia de Flexion MusculoC e' um instrumento para Movimento moves Movimento and MusculoC MusculoC e' uma instancia de Musculo MusculoC e' uma instancia de Musculo MusculoC e' uma &parte de Objeto MusculoC e' uma &parte de Objeto Objeto e' uma instancia de Animal MusculoC e' capaz de fazer Extension no role instrument
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	TravelerAccommodation e' um atributo de AutonomousAgent AutonomousAgent e' capaz de fazer RoomCleaningService no role agent Agente Cognitivo Objeto AutonomousAgent emprega Agente Cognitivo Maid e' um atributo de Agente Cognitivo Objeto e' uma instancia de HotelUnit Objeto e' uma &parte de propriedade de AutonomousAgent Objeto e' capaz de fazer RoomCleaningService no role patient Agente Cognitivo e' capaz de fazer RoomCleaningService no role serviceProvider
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	Objeto e' capaz de fazer Processo no role Role em Caso Processo e' uma sub-classe de Atirar Objeto Objeto e' uma instancia de Arma Objeto e' uma &parte de Objeto Objeto e' capaz de fazer Processo no role Role em Caso
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3552-3557	connectedPeripheral ComputerHardware and Computer ComputerHardware e' uma instancia de ComputerInputDevice ComputerHardware e' uma instancia de ComputerLASS DataTransfer e' capaz de fazer ComputerLASS no role origin
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3545-3550	connectedPeripheral ComputerHardware and Computer ComputerHardware e' uma instancia de ComputerOutputDevice ComputerHardware e' uma instancia de ComputerLASS DataTransfer e' capaz de fazer ComputerLASS no role destination
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2477-2481	Certificado e' uma instancia de CallableBond issuedBy Certificado and Agente Cognitivo Agente Cognitivo e' capaz de fazer Call no role agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3496-3510	ComputerProcess e' uma instancia de ComputerBackingUp dataProcessed ComputerProcess and DigitalData DigitalData e' uma instancia de DigitalData ComputerProcess e' um agente de Agente Cognitivo Agente Cognitivo deseja Entidade tempo de existencia de ComputerProcess acontence antes de Entidade Entidade Entidade e' uma instancia de ComputerProcess DigitalData e' capaz de fazer Entidade no role dataProcessed vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Dining.kif 532-536	Processo e' uma instancia de DeliveryService Processo e' um agente de AutonomousAgent AutonomousAgent e' capaz de fazer DeliveryService no role agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12060-12072	Processo e' uma instancia de Deciding Processo e' um agente de Agente Cognitivo Conjunto e' uma instancia de Conjunto Conjunto e' um patient de Processo Entidade e' um elemento de Conjunto Agente Cognitivo acredita que Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Processo Intencional Agente Cognitivo e' capaz de fazer Entidade no role agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1029-1033	Atributo e' uma instancia de LifeThreateningDisease Atributo e' um atributo de Objeto Objeto e' capaz de fazer Morte no role experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1410-1429	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto e' uma instancia de Organismo Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1388-1406	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2994-2999	Objeto e' uma instancia de Harbor equipmentCount Objeto, ShipBerth and Numero Real Numero Real e' maior que 0 Objeto e' capaz de fazer ShipBerthing no role path
No TPTP formula. May not be expressible in strict first order.	naics.kif 7242-7257	Colecao e' uma instancia de Organizacao BuildingMaterialAndGardenEquipmentAndSuppliesDealers e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto AutonomousAgent e' uma instancia de Vender Objeto e' uma instancia de Objeto Objeto e' capaz de fazer Construcao no role resource Objeto e' capaz de fazer Agriculture no role resource Objeto e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 7600-7618	Colecao e' uma instancia de Organizacao SportingGoodsHobbyBookAndMusicStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto AutonomousAgent e' uma instancia de Vender Objeto e' uma instancia de Objeto Objeto e' capaz de fazer Esporte no role instrument Objeto e' capaz de fazer MakingMusic no role instrument Objeto e' uma instancia de Livro Objeto e' uma instancia de MusicRecording Objeto e' uma instancia de MusicText Objeto e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	Colecao e' uma instancia de Organizacao Utilities e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Remover Objeto e' uma instancia de Sewage Objeto e' um patient de AutonomousAgent Objeto e' uma instancia de Eletron Objeto e' uma instancia de Agua Objeto e' uma instancia de Substancia Pura Objeto e' capaz de fazer Combustao no role patient Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Transacao Financeira AutonomousAgent2 e' um agente de Processo2 Objeto e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Dining.kif 437-441	Processo e' uma instancia de BankCardPayment Processo termina em Objeto Objeto e' capaz de fazer BankCardPayment no role destination
No TPTP formula. May not be expressible in strict first order.	Dining.kif 579-584	Processo e' uma instancia de CateringService Processo e' uma instancia de Processo Processo e' um agente de AutonomousAgent AutonomousAgent e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9588-9601	Objeto e' uma instancia de Planta Objeto e' uma &parte de Objeto Processo Entidade and Processo Processo e' uma instancia de Processo Processo e' uma sub-classe de Manter Entidade e' uma instancia de FreshWater Entidade e' um patient de Processo Objeto e' capaz de fazer Processo no role instrument Objeto e' uma instancia de PlantLeaf Objeto e' uma instancia de PlantStem
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3001-3009	Objeto e' uma instancia de PortFacility Objeto e' capaz de fazer ShipBerthing no role patient Objeto Objeto e' uma instancia de Harbor Objeto e' conectado com Objeto Objeto e' capaz de fazer ShipBerthing no role path
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 233-245	Fisico e' uma instancia de Projectile caliber Gun and Medida de Comprimento Objeto e' uma instancia de Gun a largura de Fisico e' Medida de Comprimento1 Medida de Comprimento e' igual a Medida de Comprimento1 Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3911-3917	Role em Caso e' uma instancia de Role em Caso Role em Caso Entidade and Objeto Entidade e' uma instancia de Processo Processo e' uma sub-classe de Processo Objeto e' capaz de fazer Processo no role Role em Caso

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.

Government.kif 1056-1067

?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE

?AGENT e' um cidadao de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) a idade de ?AGENT e' ?AGE YearDuration(s) ?AGE e' maior ou igual a ?VOTINGAGE ?ELECTION e' uma instancia de ElectionFn ?POLITY
?AGENT e' capaz de fazer VotingFn ?ELECTION no role agent

contem informacao UniversalSuffrageLaw

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

KB Term:			Term intersection

English Word: