TreeView Knowledge Base Browser - RecreationOrExercise

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

RecreationOrExercise

Sigma KEE - RecreationOrExercise

RecreationOrExercise(Recreacao ou Exercicio)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2937-2941
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10547-10555
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1689-1694
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10545-10545	Recreacao ou Exercicio e' uma sub-classe de Processo Intencional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 559-559	FitnessExercise e' uma sub-classe de Recreacao ou Exercicio
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13395-13395	Jogo e' uma sub-classe de Recreacao ou Exercicio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16066-16066	Smoking e' uma sub-classe de Recreacao ou Exercicio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15983-15983	SocialParty e' uma sub-classe de Recreacao ou Exercicio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20446-20446	Vacationing e' uma sub-classe de Recreacao ou Exercicio
No TPTP formula. May not be expressible in strict first order.	Sports.kif 560-560	Yoga e' uma sub-classe de Recreacao ou Exercicio
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1093-1093
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1397-1397
No TPTP formula. May not be expressible in strict first order.	french_format.kif 771-771
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 303-303
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 306-306
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2455-2455
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 723-723
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 342-342
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 792-792
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 307-307

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	breathingRate AutonomousAgent, Intervalo Temporal and Numero Inteiro Intervalo Temporal e' uma instancia de Minuto Numero Inteiro Numero Inteiro e' uma instancia de Recreacao ou Exercicio Numero Inteiro e' um agente de AutonomousAgent Intervalo Temporal acontece durante tempo de existencia de Numero Inteiro HumanAdult e' um atributo de AutonomousAgent vale durante Intervalo Temporal Numero Inteiro e' maior que 16 Numero Inteiro e' menos que 12 Healthy e' um atributo de AutonomousAgent vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1500-1512	ChronicFatigueSyndrome e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Recreacao ou Exercicio Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal o argumento PostExertionalMalaise e' um atributo de AutonomousAgent vale durante Intervalo Temporal2 tempo de existencia de Processo acontence antes de Intervalo Temporal2 tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8242-8256	Processo e' uma instancia de Recreacao ou Exercicio ProcessoM e' um instrumento para Processo ProcessoM e' uma instancia de RowingMachine AutonomousAgent experimenta Processo ProcessoOW e' uma instancia de Rowing ProcessoMOT e' um sub-processo de Processo Classe e' uma sub-classe de Movimento do Corpo ProcessoMOT e' uma instancia de Classe ProcessoOWMOT ProcessoOWMOT e' uma instancia de Classe ProcessoOWMOT e' um sub-processo de Processo ProcessoOWMOT e' um agente de AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8153-8161	CultivatedLandArea e' uma instancia de Garden plantInArea Planta and CultivatedLandArea CultivatedLandArea tem por fim Entidade Entidade e' uma instancia de Recreacao ou Exercicio eventLocated Entidade and CultivatedLandArea
No TPTP formula. May not be expressible in strict first order.	naics.kif 8528-8549	Colecao e' uma instancia de Organizacao ScenicAndSightseeingTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade Entidade e' uma instancia de Transporte Entidade e' uma instancia de Recreacao ou Exercicio Agente Cognitivo e' um patient de Entidade Colecao possui Entidade Entidade e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 11456-11468	AutonomousAgent e' uma instancia de Ticket AutonomousAgent possui Objeto issuedBy AutonomousAgent and Agente Cognitivo AmusementGamblingAndRecreationIndustries e' um atributo de Agente Cognitivo Agente Cognitivo e' situado em Objeto confersNorm Agente Cognitivo, Entidade Entidade e' uma instancia de Recreacao ou Exercicio Objeto experimenta Entidade eventLocated Entidade and Objeto and Permission
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 342-357	restingBreathingRate Mamifero and Numero Inteiro Objeto e' uma instancia de Lung Objeto e' uma &parte de Mamifero Intervalo Temporal Numero InteiroEC Numero InteiroEC e' uma instancia de Recreacao ou Exercicio Numero InteiroEC e' um agente de Mamifero Intervalo Temporal acontece durante tempo de existencia de Numero InteiroEC Intervalo Temporal e' uma instancia de Minuto breathingRate Mamifero, Intervalo Temporal and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 122-136	restingHeartRate Mamifero and Numero Inteiro MamiferoEART e' uma instancia de Heart MamiferoEART e' uma &parte de Mamifero Intervalo Temporal Numero InteiroEC Numero InteiroEC e' uma instancia de Recreacao ou Exercicio Numero InteiroEC e' um agente de Mamifero Intervalo Temporal acontece durante tempo de existencia de Numero InteiroEC Intervalo Temporal e' uma instancia de Minuto heartRate Mamifero, Intervalo Temporal and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1469-1477	PostExertionalMalaise e' um atributo de Entidade vale durante Intervalo Temporal Processo Processo e' uma instancia de Recreacao ou Exercicio Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22393-22399	Fisico e' uma instancia de EntertainmentBuilding Fisico tem por fim Entidade Entidade e' uma instancia de Recreacao ou Exercicio eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2471-2480	Fisico e' uma instancia de CruiseShip Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Recreacao ou Exercicio Entidade possui Fisico Entidade e' um agente de Entidade customer Entidade and Entidade eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2377-2383	Fisico e' uma instancia de RecreationOrExerciseDevice Fisico tem por fim Entidade Entidade e' uma instancia de Recreacao ou Exercicio Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1028-1034	Fisico e' uma instancia de MiniatureGolf Fisico tem por fim Entidade Entidade e' uma instancia de Recreacao ou Exercicio eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Dining.kif 987-995	Fisico e' uma instancia de PlayArea Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Recreacao ou Exercicio eventLocated Entidade and Fisico Entidade e' uma instancia de HumanChild Entidade e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8107-8113	Fisico e' uma instancia de Park Fisico tem por fim Entidade Entidade e' uma instancia de Recreacao ou Exercicio eventLocated Entidade and Fisico

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