TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3857-3861
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17326-17332
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17324-17324	O argumento numero 1 de modalAttribute e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17325-17325	O argumento numero 2 de modalAttribute e' uma instancia de Atributo Normativo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17320-17320	modalAttribute e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17319-17319	modalAttribute e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17321-17321	modalAttribute e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17322-17322	modalAttribute e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17323-17323	modalAttribute e' uma sub-relacao de property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 590-590
No TPTP formula. May not be expressible in strict first order.	english_format.kif 594-594
No TPTP formula. May not be expressible in strict first order.	french_format.kif 353-353
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 192-192
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2100-2100
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 305-305
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 775-775
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 230-230
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 375-375
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 393-393
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38199-38199
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 591-591
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38198-38198
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38197-38197

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13849-13856	O argumento Formula tem a forca modal de Legal Formula o argumento Formula tem a forca modal de Law consistent Formula and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17438-17440	O argumento Formula tem a forca modal de Necessity o argumento Formula nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17501-17503	O argumento Formula tem a forca modal de Obligation o argumento Formula nao %n a forca modal de Permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17537-17539	O argumento Formula tem a forca modal de Prohibition o argumento Formula nao %n a forca modal de Permission
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	AutonomousAgent e' uma instancia de AutonomousAgent potentialCustomer Agente Cognitivo and AutonomousAgent o argumento Entidade e' uma instancia de Reserving Entidade termina em AutonomousAgent tem a forca modal de Necessity a probabilidade de EntidadeES1 EntidadeES1 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES1 fulfillingEntity AutonomousAgent and EntidadeES1 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real a probabilidade de EntidadeES2 EntidadeES2 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES2 fulfillingEntity AutonomousAgent and EntidadeES2 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	Processo e' uma instancia de Bleeding Entidade e' uma instancia de Morte Formula e' uma instancia de Humano AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo Formula e' Near em relacao a AutonomousAgent o argumento Processo causa Entidade tem a forca modal de Likely Entidade Entidade e' uma instancia de Colar Entidade e' um agente de Formula Entidade termina em AutonomousAgent e' obrigado a executar tarefas de tipo Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17334-17338	O argumento Formula tem a forca modal de Atributo Normativo Formula implica Formula o argumento Formula tem a forca modal de Atributo Normativo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13813-13818	O argumento Entidade tem a forca modal de Law vale durante Intervalo Temporal Intervalo Temporal LegislativeBill e' um atributo de Entidade vale durante Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17551-17553	O argumento Formula tem a forca modal de Likely a probabilidade de truth Formula and True e' maior que a probabilidade de truth Formula and False
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17442-17444	O argumento Formula tem a forca modal de Necessity o argumento Formula tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17505-17507	O argumento Formula tem a forca modal de Obligation o argumento Formula tem a forca modal de Permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17340-17342	O argumento Formula tem a forca modal de Permission o argumento Formula tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17559-17561	O argumento Formula tem a forca modal de Unlikely a probabilidade de truth Formula and False e' maior que a probabilidade de truth Formula and True

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13849-13856	O argumento Formula tem a forca modal de Legal Formula o argumento Formula tem a forca modal de Law consistent Formula and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17438-17440	O argumento Formula tem a forca modal de Necessity o argumento Formula nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17501-17503	O argumento Formula tem a forca modal de Obligation o argumento Formula nao %n a forca modal de Permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17537-17539	O argumento Formula tem a forca modal de Prohibition o argumento Formula nao %n a forca modal de Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14078-14088	agreementClause Proposicao, Atributo Deontico, Agreement and Agente Cognitivo Atributo Deontico e' igual a Obligation Atributo Deontico e' igual a Promise o argumento Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	albumCoverImage Album and Image Objeto e' uma instancia de AlbumCopiesFn Album and DataStorageDevice Objeto auto-conectado contem Objeto o argumento Image e' uma &parte de afrente de Objeto auto-conectado tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6230-6243	allergic Humano and Substancia SubstanciaUB e' uma instancia de Substancia SubstanciaUB encontra Humano vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de AllergicReaction Humano experimenta Entidade tempo de existencia de Entidade engloba Posicao Temporal o comeco de Posicao Temporal comeca antes de o comeco de tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29446-29451	DeviceDamaged e' um atributo de Objeto Objeto tem por fim Formula o argumento Formula nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29419-29423	DeviceNormal e' um atributo de Objeto Objeto tem por fim Formula o argumento Formula tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5824-5834	Doenca ou Sindrome e' um atributo de Objeto diseaseTreatment Doenca ou Sindrome and Processo Terapeutico Processo e' uma instancia de TherpeuticProcess Processo e' um agente de Doenca ou SindromeOC Objeto e' um patient de Processo MedicalDoctor e' um atributo de Doenca ou SindromeOC o argumento Processo e' uma instancia de Processo Terapeutico tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	Muslim e' um atributo de AutonomousAgent valor da propriedade de AutonomousAgent e' igual a Medida de Divisa o argumento Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Zakat Entidade e' uma instancia de Ano Entidade acontece durante tempo de existencia de AutonomousAgent FullyFormed e' um atributo de AutonomousAgent vale durante Entidade Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade o valor de Entidade e' Entidade Entidade(s) Entidade e' uma instancia de UnitOfCurrency Entidade e' maior que Medida de Divisa + 0.025 tem a forca modal de Obligation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	ADHD e' um atributo de AutonomousAgent ADHD e' um atributo de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent Processo e' uma instancia de Classe Processo e' uma instancia de Classe Classe e' uma sub-classe de Processo Psicologico Intencional Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent a duracao de tempo de existencia de Processo e' Duracao Temporal a duracao de tempo de existencia de Processo e' Duracao Temporal o argumento Duracao Temporal e' maior que Duracao Temporal tem a forca modal de Likely
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.	Dining.kif 1207-1224	CommunalAttribute e' um atributo de Objeto Objeto e' uma instancia de Table Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de GroupOfPeople eventLocated Processo and Objeto o argumento Entidade Entidade and Objeto2 Entidade e' uma instancia de Comer Entidade e' um agente de Entidade AutonomousAgent e' igual a Entidade Entidade e' uma instancia de GroupOfPeople eventLocated Entidade and Objeto2 tempo de existencia de Processo encontra tempo de existencia de Entidade Objeto e' igual a Objeto2 tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25736-25749	Multilingual e' um atributo de AutonomousAgent Processo e' uma instancia de Speaking Processo e' um agente de AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de SpokenHumanLanguage Entidade e' uma instancia de SpokenHumanLanguage Entidade e' igual a Entidade Entidade e' um patient de Processo Entidade e' um patient de Processo tem a forca modal de Possibility
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.	TransportDetail.kif 153-172	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.	Hotel.kif 522-538	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Processo o argumento Entidade Entidade and Entidade Entidade e' um elemento de propriedade de AutonomousAgent Entidade e' um agente de AutonomousAgent Agente Cognitivo e' um patient de Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Fisico Entidade e' um sub-processo de Entidade Entidade e' situado em Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18468-18473	defaultMaxValue Predicado, Inteiro positivo and Quantidade Predicado @ARGS Entidade e' igual a Inteiro positivoth elemento de (@ARGS) o argumento Quantidade e' maior que Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13535-13544	defaultMaximumMeasure Objeto and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de CompositeUnitOfMeasure o argumento Entidade Numero RealUANTITY Entidade e' uma instancia de Objeto a medida de Entidade e' Numero RealUANTITY Unidade de Medida(s) Numero RealUANTITY e' maior que Numero Real tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13546-13557	defaultMaximumMeasure Objeto and Numero Real Unidade de Medida(s) Classe e' uma sub-classe de NonCompositeUnitOfMeasure Unidade de Medida e' uma instancia de Classe o argumento Entidade Numero RealUANTITY and Entidade Entidade e' uma instancia de Objeto a medida de Entidade e' Numero RealUANTITY Entidade(s) Entidade e' uma instancia de Classe Numero RealUANTITY Entidade(s) e' maior que Numero Real Unidade de Medida(s) tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13485-13496	defaultMaximumSphereRadius Objeto and Numero Real Unidade de Medida(s) Objeto e' uma instancia de Objeto Sphere e' um atributo de Objeto o argumento Numero RealADIUS sphereRadius Objeto and Numero RealADIUS Unidade de Medida(s) Numero RealADIUS e' maior que Numero Real tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13565-13574	defaultMeasure Objeto and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de CompositeUnitOfMeasure o argumento Entidade Numero RealUANTITY Entidade e' uma instancia de Objeto a medida de Entidade e' Numero RealUANTITY Unidade de Medida(s) Numero RealUANTITY e' maior que Numero Real + 1.5 tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13576-13585	defaultMeasure Objeto and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de CompositeUnitOfMeasure o argumento Entidade Numero RealUANTITY Entidade e' uma instancia de Objeto a medida de Entidade e' Numero RealUANTITY Unidade de Medida(s) Numero RealUANTITY e' menos que Numero Real + .5 tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18451-18456	defaultMinValue Predicado, Inteiro positivo and Quantidade Predicado @ARGS Entidade e' igual a Inteiro positivoth elemento de (@ARGS) o argumento Entidade e' maior que Quantidade tem a forca modal de Likely

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3170-3170	O argumento AmericansWithDisabilitiesAct-US tem a forca modal de Law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2407-2407	O argumento AntiterrorismAndEffectiveDeathPenaltyAct tem a forca modal de Law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2405-2405	O argumento ImmigrationAndNationalityAct-Section219-US tem a forca modal de Law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2402-2402	O argumento ImmigrationAndNationalityAct-US tem a forca modal de Law

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

KB Term:			Term intersection

English Word: