instrument - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1875-1878
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2474-2478
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 499-502
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2471-2471	O argumento numero 1 de instrument e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2472-2472	O argumento numero 2 de instrument e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2469-2469	instrument e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2470-2470	instrument e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2468-2468	instrument e' uma sub-relacao de patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2514-2514	resource e instrument sao disjuntos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2515-2515	result e instrument sao disjuntos
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 135-135
No TPTP formula. May not be expressible in strict first order.	english_format.kif 136-136
No TPTP formula. May not be expressible in strict first order.	french_format.kif 89-89
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 150-150
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1916-1916
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 41-41
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 83-83
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 163-163
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 189-189
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 108-108
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 88-88
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 304-304
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 199-199	computerRunning e' uma sub-relacao de instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23531-23531	conveyance e' uma sub-relacao de instrument
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1709-1709	eCommerceSite e' uma sub-relacao de instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8804-8804	reagent e' uma sub-relacao de instrument
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 531-531	standardErrorDevice e' uma sub-relacao de instrument
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 500-500	standardInputDevice e' uma sub-relacao de instrument
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 514-514	standardOutputDevice e' uma sub-relacao de instrument
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30259-30259
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 136-136

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.	Mid-level-ontology.kif 10684-10695	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 10671-10682	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 346-361	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Objeto e' uma instancia de Fisico Objeto e' situado em TemporaryResidence Processo e' uma instancia de Processo Processo e' um agente de Humano Objeto e' um patient de Processo Objeto e' um instrumento para Processo Objeto e' um recurso para Processo price Objeto, 0 UnitedStatesDollar(s) and Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4242-4248	Objeto e' uma instancia de Anchor ObjetoTTACH e' uma instancia de Colar Objeto e' um instrumento para ObjetoTTACH Entidade e' um patient de ObjetoTTACH Entidade e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2763-2777	Objeto e' uma instancia de AntibodyCOVIDTest Objeto e' um instrumento para Processo Processo e' uma instancia de Medir Objeto e' um patient de Processo Objeto e' uma instancia de COVIDAntibody Objeto e' uma &parte de Objeto o argumento Objeto sabe Objeto Objeto e' uma instancia de COVIDAntibody Objeto e' uma &parte de Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11107-11117	Objeto e' uma instancia de Artery Processo e' uma instancia de Transferencia Entidade e' um patient de Processo Objeto e' um instrumento para Processo Entidade e' uma instancia de Sangue Objeto Objeto e' uma instancia de Heart Processo tem como origem Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11140-11150	Objeto e' uma instancia de PulmonaryArtery Processo e' uma instancia de Transferencia Entidade e' um patient de Processo Objeto e' um instrumento para Processo Entidade e' uma instancia de Sangue Entidade Entidade e' uma instancia de Lung Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	WMD.kif 57-62	Processo e' uma instancia de ViolentContest Objeto e' um instrumento para Processo Objeto e' uma instancia de BiochemicalWeapon Processo e' uma instancia de BiochemicalAttack
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3516-3523	Processo e' uma instancia de AuthorizationOfTransaction Processo e' uma instancia de Transacao Financeira Objeto e' uma instancia de BankCard Objeto e' um instrumento para Processo Processo causa Processo Objeto e' uma instancia de ValidCard
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22017-22024	Objeto e' uma instancia de Blade Processo e' uma instancia de Cortar Objeto e' uma instancia de Objeto Objeto e' um instrumento para Processo Objeto e' um patient de Processo Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29746-29753	Processo e' uma instancia de Cobrir Entidade e' um patient de Processo Objeto e' um instrumento para Processo covers Objeto and Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11559-11563	Processo e' uma instancia de Chewing Objeto e' um instrumento para Processo Objeto e' uma instancia de Tooth
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1422-1432	Objeto e' uma instancia de WirelessNetwork Movimento e' uma instancia de NetworkCommunication Objeto e' um instrumento para Movimento Objeto e' o caminho ao longo do qual Movimento ocorre Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Cable
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3498-3506	Objeto e' uma instancia de WaterVehicle Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo Objeto Objeto e' uma instancia de Area Aquatica eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3543-3554	BankCard e' uma instancia de DebitCard AutonomousAgent possui BankCard Processo e' uma instancia de Transacao Financeira BankCard e' um instrumento para Processo Sequencia Simbolica Processo pin Sequencia Simbolica and BankCard Processo e' uma instancia de EnteringAPin Sequencia Simbolica e' um patient de Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2766-2773	Objeto e' uma instancia de AnimalPoweredDevice Objeto e' um instrumento para Processo Objeto Objeto e' uma instancia de Animal Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 180-185	Processo e' uma instancia de Causar Dano Objeto e' um instrumento para Processo Objeto e' uma instancia de Substancia Biologica Ativa Objeto e' uma instancia de Toxin
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2546-2554	Objeto e' uma instancia de ElectricDevice Processo e' uma instancia de Processo Objeto e' um instrumento para Processo Objeto Objeto e' uma instancia de Electricity Objeto e' um recurso para Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	Objeto e' uma instancia de AbsoluteFilter Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' uma instancia de GasMixture Objeto e' um patient de Processo Solid e' um atributo de Objeto Objeto e' um instrumento para Processo Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	Objeto e' uma instancia de FuelPump Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Movimento e' uma instancia de Transporte Processo e' uma instancia de Fuel Processo e' um patient de Movimento Objeto e' um instrumento para Processo Objeto e' uma instancia de GasTank Objeto e' uma &parte de Objeto Objeto e' uma instancia de EngineCylinder Objeto e' uma &parte de Objeto Movimento tem como origem Objeto Movimento termina em Objeto Objeto e' o caminho ao longo do qual Movimento ocorre Movimento tem por fim ProcessoF ProcessoF e' uma instancia de FuelFilter betweenOnPath Objeto, ProcessoF, Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	Objeto e' uma instancia de FuelPump Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Processo e' uma instancia de Transporte Processo e' uma instancia de Fuel Processo e' um patient de Processo Objeto e' um instrumento para Processo Objeto tem por fim Entidade Entidade Entidade e' uma instancia de GasTank Entidade e' uma &parte de Objeto Entidade e' uma instancia de EngineCylinder Entidade e' uma &parte de Objeto Processo tem como origem Entidade Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1235-1247	Objeto e' uma instancia de Gun Objeto e' uma instancia de GunBarrel Objeto e' uma &parte de Objeto Processo e' uma instancia de Atirar Objeto e' um instrumento para Processo Entidade e' um patient de Processo Entidade e' uma instancia de Projectile ProcessoUB ProcessoUB e' um sub-processo de Processo Objeto e' o caminho ao longo do qual ProcessoUB ocorre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17050-17062	Objeto e' uma instancia de GameGoal Objeto e' um instrumento para Processo Processo e' uma instancia de Jogo Processo e' um sub-processo de Processo Processo e' uma instancia de Score Entidade Posicao Temporal Entidade e' uma instancia de GamePiece Entidade e' um patient de Processo Posicao Temporal e' uma &parte de tempo de existencia de Processo Entidade e' situado em Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4295-4307	Objeto e' uma instancia de Reel Processo e' uma instancia de Manter Objeto e' uma instancia de Objeto Corpuscular LongAndThin e' um atributo de Objeto Pliable e' um atributo de Objeto Objeto e' um instrumento para Processo Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4309-4322	Objeto e' uma instancia de Reel Processo e' uma instancia de Manter Objeto e' uma instancia de Objeto Corpuscular LongAndThin e' um atributo de Objeto Pliable e' um atributo de Objeto Objeto e' um instrumento para Processo Objeto e' um patient de Processo Processo Processo e' uma instancia de Rotating Objeto e' um patient de Processo Processo e' um sub-processo de Processo

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.	Mid-level-ontology.kif 10684-10695	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 10671-10682	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.	Mid-level-ontology.kif 12536-12546	Atributo e' um atributo de Objeto Atributo e' uma instancia de Fingerprint Objeto e' uma instancia de Finger AtributoR Objeto Objeto e' um instrumento para AtributoR Objeto e' uma instancia de Finger Atributo e' um atributo de Objeto Objeto e' um patient de AtributoR
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26147-26159	WheelchairAccessible e' um atributo de Objeto Objeto e' uma instancia de Predio Objeto e' uma instancia de Comodo o argumento Entidade Entidade Entidade e' uma instancia de Movimento Entidade e' um instrumento para Entidade Entidade e' uma instancia de Wheelchair eventLocated Entidade and Objeto tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Objeto Entidade e' uma instancia de Fisico AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Processo Entidade e' um recurso para Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo Agente Cognitivo experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	Processo termina em Objeto Processo e' uma instancia de Messaging Entidade e' um patient de Processo Objeto e' uma instancia de Telex Processo Entidade Objeto e' um instrumento para Processo Entidade e' o resultado de Processo Entidade define Entidade Entidade e' uma instancia de Texto o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1347-1358	Componente de Engenharia e' um componente de Internet Componente de Engenharia e' um componente de Internet Componente de Engenharia e' igual a Componente de Engenharia Internet tem por fim Entidade Entidade e' uma instancia de Communicacao Entidade e' um agente de Componente de Engenharia Entidade termina em Componente de Engenharia Internet e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1923-1939	ennervates Nerve and Musculo Objeto e' uma instancia de Nerve Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Healthy e' um atributo de Objeto Objeto e' uma instancia de Humano Objeto tem por fim ObjetoF Entidade ObjetoF e' uma instancia de NerveFiring Objeto e' um instrumento para ObjetoF Musculo e' uma instancia de MuscleContraction Objeto e' um instrumento para ObjetoV ObjetoF causa Musculo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	functionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo termina em Entidade Fisico e' uma sub-classe de Objeto o argumento Entidade Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Processo Entidade e' um recurso para Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' um agente de Entidade Entidade experimenta Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	guest Humano and AutonomousAgent stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent TemporaryResidence e' uma instancia de TemporaryResidenceOOM roomAmenity TemporaryResidenceOOM and Fisico Fisico e' uma sub-classe de Objeto Fisico Fisico e' uma instancia de Fisico Fisico e' situado em TemporaryResidence AutonomousAgent autoriza Humano a executar tarefas de tipo Entidade Entidade e' um agente de Humano Fisico e' um instrumento para Entidade Fisico e' um patient de Entidade Fisico e' um recurso para Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	Objeto e' uma instancia de Armor Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Preservar Objeto e' um instrumento para Entidade Objeto experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	Objeto e' uma instancia de Armor Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Causar Dano Objeto e' um instrumento para Entidade Objeto experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4411-4425	AutonomousAgent e' uma instancia de Biped Processo e' uma instancia de Ambulating Processo e' um agente de AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de Leg Entidade e' uma instancia de Leg Entidade e' uma &parte de AutonomousAgent Entidade e' uma &parte de AutonomousAgent Entidade e' um instrumento para Processo Entidade e' um instrumento para Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2200-2216	Processo e' uma instancia de AutoImmuneDisorder Agente Cognitivo experimenta Processo Objeto Processo and Objeto Objeto e' uma instancia de Antibody Objeto e' uma &parte de Agente Cognitivo Objeto e' uma instancia de Celula Objeto e' uma &parte de Agente Cognitivo Processo e' uma instancia de Destrucao Objeto e' um instrumento para Processo Agente Cognitivo nao deseja %n Processo e' uma instancia de Destrucao Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1129-1142	FinancialAccount e' uma instancia de CheckingAccount Processo e' uma instancia de Transacao Financeira Processo tem como origem CurrencyFn FinancialAccount Objeto Objeto e' uma instancia de Check Objeto e' um instrumento para Processo Objeto Objeto e' uma instancia de DebitCard Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1239-1247	FinancialAccount e' uma instancia de CreditCardAccount Processo e' uma instancia de Transacao Financeira Processo tem como origem CurrencyFn FinancialAccount Objeto Objeto e' uma instancia de CreditCard Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3416-3426	Objeto e' uma instancia de VehicleBrake Objeto e' uma instancia de Vehicle Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de StopFn Movimento Objeto e' um patient de Entidade Objeto e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6514-6522	Processo e' uma instancia de Biting Processo e' um agente de AutonomousAgent Objeto Objeto e' uma instancia de Mouth Objeto e' uma &parte de AutonomousAgent Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	Objeto e' uma instancia de BrakePedal Processo e' uma instancia de Pushing Objeto e' uma instancia de Vehicle Processo termina em Objeto eventLocated Processo and Objeto Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de WearingFrictionSurface Entidade e' uma instancia de Friction Entidade e' um instrumento para Entidade Processo causa Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4391-4399	Processo e' uma instancia de Crawling Processo e' um agente de AutonomousAgent AutonomousAgentRM AutonomousAgentRM e' uma instancia de Arm AutonomousAgentRM e' uma &parte de AutonomousAgent AutonomousAgentRM e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2766-2773	Objeto e' uma instancia de AnimalPoweredDevice Objeto e' um instrumento para Processo Objeto Objeto e' uma instancia de Animal Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 420-431	Processo e' uma instancia de Dressing Fisico e' uma instancia de Oqal Entidade e' uma instancia de Hat Fisico e' um patient de Processo Entidade e' um patient de Processo Fisico tem por fim Entidade Entidade e' uma instancia de Colar Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 601-609	Processo e' uma instancia de PreciseDestruction Processo e' um agente de AutonomousAgent Objeto AutonomousAgent possui Objeto Objeto e' um instrumento para Processo Objeto e' uma instancia de HighPrecisionWeapon
No TPTP formula. May not be expressible in strict first order.	Media.kif 690-700	Processo e' uma instancia de DataSaving Objeto e' um recurso para Processo Objeto e' uma instancia de ElectronicDataStorageDevice Objeto Objeto e' uma instancia de ElectricDevice Objeto e' um instrumento para Processo Objeto e' conectado com Objeto vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1636-1643	Objeto e' uma instancia de Eardrum Objeto e' uma &parte de AutonomousAgent AutonomousAgent experimenta AutonomousAgentEAR Healthy e' um atributo de AutonomousAgent AutonomousAgentEAR e' uma instancia de Ouvir Objeto e' um instrumento para AutonomousAgentEAR

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.	Mid-level-ontology.kif 18201-18218	?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3309-3315	IBookstore tem por fim ?D ?D e' uma instancia de DownloadingOverNetwork IBookstore e' um instrumento para ?D ?T e' uma instancia de Texto objectTransferred ?D and ?T

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

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: