TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3438-3438
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14646-14647
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 259-259
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3117-3117
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3116-3116
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 257-257
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 258-258
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14645-14645	O conceito Humano e' completamente decomposto em Man + Woman
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14644-14644	Humano e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14643-14643	Humano e' uma sub-classe de Hominideo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1586-1586	biologicalAgentCarrier BordetellaPertussis and Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20018-20018	DomesticAnimal e' disjunto de Humano
No TPTP formula. May not be expressible in strict first order.	Media.kif 35-35	Organizacao e' disjunto de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 793-793	initialPart VocalCords and Humano
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2447-2447	SteveJobsOfApple e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2459-2459	SteveWozniakOfApple e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2435-2435	TimCookOfApple e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 185-185	HumanAdult e' uma sub-classe de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 248-248	HumanYouth e' uma sub-classe de Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14649-14649	Man e' uma sub-classe de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 320-320	Teenager e' uma sub-classe de Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14656-14656	Woman e' uma sub-classe de Humano
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1002-1002
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1216-1216
No TPTP formula. May not be expressible in strict first order.	french_format.kif 679-679
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 210-210
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 213-213
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2363-2363
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 631-631
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 215-215
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 247-247
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 700-700
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 214-214
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 791-791	typicalPart VocalCords and Humano

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	arteries.kif 1280-1280	connectedBodyPartTypes AbdominalAorta, ThoracicAorta and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1658-1658	connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve, InferiorGlutealArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 986-986	connectedBodyPartTypes AcromialArtery, ThoracoacromialArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1465-1465	connectedBodyPartTypes AfferentArteriole, InterlobularArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 252-252	connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorMeningealArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 257-257	connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorNasalArteryBranch and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 267-267	connectedBodyPartTypes AnteriorEthmoidalArtery, InferiorPalpebralArchArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 262-262	connectedBodyPartTypes AnteriorEthmoidalArtery, SuperiorPalpebralArchArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1016-1016	connectedBodyPartTypes AnteriorHumeralCircumflexArtery, AxillaryArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 820-820	connectedBodyPartTypes AnteriorInferiorCerebellarArtery, BasilarArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1169-1169	connectedBodyPartTypes AnteriorInterosseousArtery, UlnarArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 79-79	connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularDiagonalArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 73-73	connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularSeptalArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1885-1885	connectedBodyPartTypes AnteriorLateralMalleolarArtery, AnteriorTibialArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1880-1880	connectedBodyPartTypes AnteriorMedialMalleolarArtery, AnteriorTibialArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 795-795	connectedBodyPartTypes AnteriorSpinalArtery, VertebralArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1863-1863	connectedBodyPartTypes AnteriorTibialArtery, PoplitealArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1873-1873	connectedBodyPartTypes AnteriorTibialRecurrentArtery, AnteriorTibialArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1148-1148	connectedBodyPartTypes AnteriorUlnarRecurrentArtery, UlnarArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 371-371	connectedBodyPartTypes AnterolateralCentralArtery, ExternalStriateArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 366-366	connectedBodyPartTypes AnterolateralCentralArtery, InternalStriateArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 164-164	connectedBodyPartTypes AorticArch, LeftCommonCarotidArtery and Humano
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1454-1454	connectedBodyPartTypes ArcuateArtery, InterlobarArtery and Humano
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1565-1565	connectedBodyPartTypes AuditoryCanal, TympanicCavity and Humano
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1615-1615	connectedBodyPartTypes Auricle, AuditoryCanal and Humano

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.	FinancialOntology.kif 996-1000	accountHolder FinancialAccount and Agente Cognitivo Agente Cognitivo e' uma instancia de Humano FinancialAccount e' uma instancia de PersonalAccount
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17254-17262	Entidade e' uma instancia de Humano Entidade Entidade nao emprega %n Entidade vale durante Posicao Temporal Unemployed e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Biography.kif 223-230	Founder e' um atributo de AutonomousAgent AutonomousAgent e' uma instancia de Humano Processo Processo e' uma instancia de Founding Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20601-20623	Waiter e' um atributo de Agente Cognitivo Agente Cognitivo e' uma instancia de Humano AutonomousAgent emprega Agente Cognitivo AutonomousAgent e' uma instancia de Restaurant customer Agente Cognitivo and AutonomousAgent Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de Table Objeto Entidade, Entidade and Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de KitchenArea Objeto e' uma instancia de DiningArea Objeto e' situado em Objeto Agente Cognitivo tem por fim Entidade e' uma instancia de Carrying Entidade e' um agente de Agente Cognitivo Entidade tem como origem Objeto Entidade termina em Objeto Entidade e' um patient de Entidade Entidade e' uma instancia de FoodForFn Humano
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.	Government.kif 223-234	governmentType AutonomousAgent and Monarchy Organismo e' uma instancia de Humano Organismo e' uma instancia de Humano chiefOfState AutonomousAgent, Entidade and Organismo vale durante Intervalo Temporal Organismo e Organismo sao parentes Intervalo Temporal acontence antes de Intervalo Temporal o argumento chiefOfState AutonomousAgent, Entidade and Organismo vale durante Intervalo Temporal tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7562-7569	Entidade e' membro de Entidade vale durante Posicao Temporal Entidade e' uma instancia de Humano Entidade e' uma instancia de GroupOfPeople groupMember Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25035-25044	Entidade e' uma instancia de Humano deviceTelecomNumber Entidade and Entidade telephoneNumber Entidade and Entidade Entidade e' situado em Entidade Entidade e' uma instancia de Residence vale durante Posicao Temporal Entidade vive em Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 1789-1795	Objeto e' uma instancia de Humano Organizacao e' uma instancia de Organizacao Posicao e' uma instancia de Posicao MemberRoleFn Organizacao and Posicao e' um atributo de Objeto MemberFn Organizacao e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Government.kif 1797-1803	Objeto e' uma instancia de Humano Organizacao e' uma instancia de Organizacao Posicao e' uma instancia de Posicao MemberRoleFn Organizacao and Posicao e' um atributo de Objeto Objeto e' membro de Organizacao
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.	Mid-level-ontology.kif 12848-12854	Objeto e' uma instancia de Breast Objeto auto-conectado e' uma instancia de Humano Objeto e' uma &parte de Objeto auto-conectado Objeto e' uma &parte de afrente de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 286-292	Entidade e' uma instancia de Humano NonFullyFormed e' um atributo de Entidade vale durante Posicao Temporal Entidade e' uma instancia de HumanYouth vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12212-12217	Processo e' uma instancia de Confinar Agente Cognitivo e' um patient de Processo Agente Cognitivo e' uma instancia de Humano Agente Cognitivo nao deseja %n Agente Cognitivo e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3923-3934	Experimenting e' uma instancia de Experimenting Humano e' uma instancia de Humano experimentalSubject Experimenting and Humano Processo Processo e' uma instancia de Processo Humano experimenta Processo experimentalControlProcess Experimenting and Processo experimentalVariableProcess Experimenting and Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 285-296	Colecao e' uma instancia de MilitaryForce AutonomousAgent e' uma instancia de Humano Processo e' uma instancia de Imprisoning AutonomousAgent e' membro de Colecao Processo e' um agente de AutonomousAgent AutonomousAgent e' um patient de Processo enemy AutonomousAgent and AutonomousAgent eventLocated Processo and Objeto WarState e' um atributo de Objeto PrisonerOfWar e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6161-6169	Objeto e' uma instancia de Humano Fever e' um atributo de Objeto Numero Real a medida de Objeto e' Numero Real FahrenheitDegree(s) Numero Real e' maior que 98.6
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 686-694	Entidade e' uma instancia de Humano Hyperthermia e' um atributo de Posicao Temporal coreBodyTemp Entidade and Numero Real CelsiusDegree(s) vale durante Posicao Temporal Numero Real e' maior que 38.3
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 651-659	Entidade e' uma instancia de Humano Hypothermia e' um atributo de Posicao Temporal coreBodyTemp Entidade and Numero Real CelsiusDegree(s) vale durante Posicao Temporal Numero Real e' menos que 35.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 342-348	Entidade e' uma instancia de Humano a idade de Entidade e' Numero Real YearDuration(s) vale durante Posicao Temporal Numero Real e' maior que 12 Numero Real e' menos que 20 Entidade e' uma instancia de Teenager vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 219-225	Entidade e' uma instancia de Humano a idade de Entidade e' Numero Real YearDuration(s) vale durante Posicao Temporal Numero Real e' maior ou igual a 18 Entidade e' uma instancia de HumanAdult vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 269-274	Entidade e' uma instancia de Humano a idade de Entidade e' Numero Real YearDuration(s) vale durante Posicao Temporal Numero Real e' menos que 18 Entidade e' uma instancia de HumanYouth vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 392-397	Entidade e' uma instancia de Humano a idade de Entidade e' Numero Real YearDuration(s) vale durante Posicao Temporal Numero Real e' menor ou igual a 1 Entidade e' uma instancia de HumanBaby vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 311-318	Entidade e' uma instancia de Humano a idade de Entidade e' Numero Real YearDuration(s) vale durante Posicao Temporal Numero Real e' menor ou igual a 14 Entidade e' uma instancia de HumanChild vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 519-530	Objeto e' uma instancia de Humano Objeto e' uma instancia de Rectum Objeto e' uma &parte de Objeto coreBodyTemp Objeto and Numero Real Entidade(s) a medida de Objeto e' Numero Real2 Entidade(s) vale durante Posicao Temporal approximateValue Numero Real and Numero Real2

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.	People.kif 357-390	Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	Ano e' uma instancia de o ano Numero Inteiro BirthsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real PopulationFn Area Geopolitica + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real PopulationFn Area Geopolitica + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandLiveBirthsFn Area Geopolitica and Ano e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ano e' uma instancia de o ano Numero Inteiro LifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	Ano e' uma instancia de o ano Numero Inteiro MigrantsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real ( Numero Inteiro + Numero Inteiro) e' igual a 1 Entidade e' uma instancia de o ano Numero Inteiro PopulationFn Area Geopolitica e' igual a Numero Real vale durante Ano Numero Real + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica ( Numero Inteiro + Numero Inteiro) e' igual a Numero Real Numero Real + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	MaleToFemaleRatioFn Area Geopolitica e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Inteiro e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29507-29519	Collectible e' um atributo de Objeto Objeto tem por fim Formula Agente Cognitivo Formula2 Agente Cognitivo e' uma instancia de Humano Agente Cognitivo quer Objeto Agente Cognitivo deseja Formula2 Formula2 implica Agente Cognitivo possui Objeto Formula e' igual a Formula2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30120-30127	Inhabited e' um atributo de Objeto Objeto e' uma instancia de Regiao Organismo Organismo e' uma instancia de Humano Organismo vive em Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17244-17248	Atributo e' um atributo de Objeto Atributo e' uma instancia de Role Social Objeto e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30104-30112	Uninhabited e' um atributo de Objeto Objeto e' uma instancia de Regiao Organismo Organismo e' uma instancia de Humano Organismo vive em Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	Produce e' um atributo de Objeto Objeto e' uma instancia de Fruta ou Vegetal Objeto tem por fim Entidade Entidade e' uma instancia de Harvesting Objeto e' o resultado de Entidade Objeto e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20601-20623	Waiter e' um atributo de Agente Cognitivo Agente Cognitivo e' uma instancia de Humano AutonomousAgent emprega Agente Cognitivo AutonomousAgent e' uma instancia de Restaurant customer Agente Cognitivo and AutonomousAgent Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de Table Objeto Entidade, Entidade and Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de KitchenArea Objeto e' uma instancia de DiningArea Objeto e' situado em Objeto Agente Cognitivo tem por fim Entidade e' uma instancia de Carrying Entidade e' um agente de Agente Cognitivo Entidade tem como origem Objeto Entidade termina em Objeto Entidade e' um patient de Entidade Entidade e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2579-2583	businessUnit Organizacao and Business Fisico e' membro de Organizacao Fisico e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 4582-4590	diplomaticRepresentationType Nacao, Posicao and AutonomousAgent Posicao e' um sub-atributo de DiplomaticAgent Humano Humano e' uma instancia de Humano Humano e' um cidadao de Nacao diplomaticRepresentativeInRole Nacao, Humano, Posicao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7997-8001	Processo e' uma instancia de Baptizing Entidade e' um patient de Processo Entidade e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2663-2669	Processo e' uma instancia de Demonstration Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Humano AutonomousAgent e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2534-2538	Processo e' uma instancia de Evacuation AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16238-16242	Colecao e' uma instancia de GroupOfPeople Fisico e' membro de Colecao Fisico e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	WearableItem e' uma instancia de HearingProtection Animal e' uma instancia de Humano Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade WearableItem e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1579-1592	Processo e' uma instancia de HeavySurf Objeto e' uma instancia de Area Aquatica eventLocated Processo and Objeto Processo AutonomousAgent Processo e' uma instancia de Nadar AutonomousAgent e' uma instancia de Humano Processo e' um agente de AutonomousAgent eventLocated Processo and Objeto hazardous Processo and AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17370-17374	Processo e' uma instancia de Immigrating Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite Colecao Colecao e' uma instancia de Colecao Fisico Fisico e' uma instancia de Humano Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal registeredUser Fisico and WebSite vale durante Intervalo Temporal_BEFORE Intervalo Temporal_DURING Intervalo Temporal_DURING e' uma instancia de Intervalo Temporal Intervalo Temporal_DURING acontece durante Intervalo Temporal registeredUser Fisico and WebSite vale durante Intervalo Temporal Fisico e' membro de Colecao Colecao e' igual a SiteWideNewRegistrationsFn Intervalo Temporal and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	Objeto e' uma instancia de Objeto Objeto e' uma instancia de WebListing AutonomousAgent e' uma instancia de AutonomousAgent ForSaleByOwner e' um atributo de Objeto AutonomousAgent possui Objeto AutonomousAgent e' uma instancia de Humano

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.	People.kif 456-469	Ano e' uma instancia de o ano Numero Inteiro ChildrenBornPerWomanFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Military.kif 872-881	AvailableForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	FitForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31712-31717	PopulationFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Military.kif 933-946	ReachingMilitaryAgeAnnuallyMaleFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14873-14873	Comida e' igual a FoodForFn Humano

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

KB Term:			Term intersection

English Word: