TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2585-2585
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7136-7137
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1292-1292
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7135-7135	YearDuration e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7134-7134	YearDuration e' uma instancia de UnitOfDuration

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8740-8740	Ano e' relacionado internamente por SUMO a YearDuration
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63751-63751
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63750-63750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63749-63749

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23889-23903	Menopausal e' um atributo de AutonomousAgent vale durante Intervalo Temporal Numero Real e' igual a (1 YearDuration(s) + o comeco de Intervalo Temporal) Intervalo Temporal e' igual a o intervalo entre Intervalo Temporal e o comeco de Intervalo Temporal Processo Processo e' uma instancia de Menstruation AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Government.kif 1075-1084	Election e' uma instancia de ElectionFn AutonomousAgent Processo e' uma instancia de VotingFn Election Processo e' um agente de AutonomousAgent suffrageAgeMaximum AutonomousAgent and Numero Real YearDuration(s) a idade de AutonomousAgent 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 1062-1073	Election e' uma instancia de ElectionFn AutonomousAgent Processo e' uma instancia de VotingFn Election Processo e' um agente de AutonomousAgent suffrageAgeMaximum AutonomousAgent and Numero Real YearDuration(s) Numero Real a idade de AutonomousAgent 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 1003-1012	Election e' uma instancia de ElectionFn AutonomousAgent Processo e' uma instancia de VotingFn Election Processo e' um agente de AutonomousAgent suffrageAgeMinimum AutonomousAgent and Numero Real YearDuration(s) a idade de AutonomousAgent 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 990-1001	Election e' uma instancia de ElectionFn AutonomousAgent Processo e' uma instancia de VotingFn Election Processo e' um agente de AutonomousAgent suffrageAgeMinimum AutonomousAgent and Numero Real YearDuration(s) Numero Real a idade de AutonomousAgent 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.	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.	FinancialOntology.kif 1497-1502	Agreement e' uma instancia de BankTermLoan agreementPeriod Agreement and Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real YearDuration(s) Numero Real e' maior ou igual a 1
No TPTP formula. May not be expressible in strict first order.	Military.kif 852-860	militaryAge Area Geopolitica and Numero Real YearDuration(s) militaryOfArea MilitaryOrganization and Area Geopolitica Fisico e' membro de MilitaryOrganization a idade de Fisico 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.	Military.kif 840-850	militaryAge Area Geopolitica and Numero Real YearDuration(s) militaryOfArea MilitaryOrganization and Area Geopolitica Fisico e' membro de MilitaryOrganization Numero Real a idade de Fisico 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.	Law.kif 573-588	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica ageOfMajorityForProcess Numero Real YearDuration(s), Area Geopolitica and Processo ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement Legal e' um atributo de Agreement a idade de Agente Cognitivo e' Numero Real2 YearDuration(s) Numero Real2 e' maior que Numero Real vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Nacao Processo e' situado em Area Geopolitica2 Area Geopolitica2 e' uma instancia de Area Geopolitica ageOfMajorityForProcess Numero Real YearDuration(s), Area Geopolitica and Processo ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement a idade de Agente Cognitivo e' Entidade YearDuration(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Processo Legal e' um atributo de Agreement
No TPTP formula. May not be expressible in strict first order.	Government.kif 1176-1189	CompulsorySuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Numero Real YearDuration(s) a idade de Humano e' Numero Real YearDuration(s) Numero Real e' maior ou igual a Numero Real Election e' uma instancia de ElectionFn Nacao Processo Processo e' uma instancia de VotingFn Election Processo e' um agente de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1120-1130	UniversalSuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Numero Real YearDuration(s) a idade de Humano e' Numero Real YearDuration(s) Numero Real e' maior ou igual a Numero Real Election e' uma instancia de ElectionFn Nacao Humano e' capaz de fazer VotingFn Election no role agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1052-1060	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 1040-1050	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 980-988	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 968-978	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.	UXExperimentalTerms.kif 1078-1082	underageUser Humano and WebSite a idade de Humano e' Numero Real YearDuration(s) Numero Real e' maior ou igual a 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 193-199	Entidade e' uma instancia de HumanAdult a idade de Entidade e' Numero Real YearDuration(s) vale durante Posicao Temporal Numero Real e' maior ou igual a 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 375-380	Entidade e' uma instancia de HumanBaby a idade de Entidade e' Numero Real YearDuration(s) vale durante Posicao Temporal Numero Real e' menor ou igual a 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 294-299	Entidade e' uma instancia de HumanChild a idade de Entidade e' Numero Real YearDuration(s) vale durante Posicao Temporal Numero Real e' menor ou igual a 14

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 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.	Mid-level-ontology.kif 18728-18737	CollegeFreshman e' um atributo de Posicao Humano ocupa a posicao de Posicao Organizacao Numero Real student Humano and Organizacao vale durante Numero Real YearDuration(s) Numero Real e' menos que 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18743-18753	CollegeJunior e' um atributo de Posicao Humano ocupa a posicao de Posicao Organizacao Numero Real student Humano and Organizacao vale durante Numero Real YearDuration(s) Numero Real e' maior ou igual a 2 Numero Real e' menos que 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18759-18769	CollegeSenior e' um atributo de Posicao Humano ocupa a posicao de Posicao Organizacao Numero Real student Humano and Organizacao vale durante Numero Real YearDuration(s) Numero Real e' maior ou igual a 3 Numero Real e' menos que 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18775-18785	CollegeSophomore e' um atributo de Posicao Humano ocupa a posicao de Posicao Organizacao Numero Real student Humano and Organizacao vale durante Numero Real YearDuration(s) Numero Real e' maior ou igual a 1 Numero Real e' menos que 2
No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	Humano e' um cidadao de Nacao UniversalSuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao RegionalLawFn Nacao autoriza Humano a executar tarefas de tipo Entidade Entidade and Entidade Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Entidade YearDuration(s) a idade de Humano e' Entidade YearDuration(s) Entidade e' maior ou igual a Entidade Entidade e' uma instancia de ElectionFn Nacao Entidade Entidade e' uma instancia de VotingFn Entidade Entidade e' um agente de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1062-1073	Election e' uma instancia de ElectionFn AutonomousAgent Processo e' uma instancia de VotingFn Election Processo e' um agente de AutonomousAgent suffrageAgeMaximum AutonomousAgent and Numero Real YearDuration(s) Numero Real a idade de AutonomousAgent 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 990-1001	Election e' uma instancia de ElectionFn AutonomousAgent Processo e' uma instancia de VotingFn Election Processo e' um agente de AutonomousAgent suffrageAgeMinimum AutonomousAgent and Numero Real YearDuration(s) Numero Real a idade de AutonomousAgent 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.	Mid-level-ontology.kif 21147-21177	Proposicao e' uma instancia de Argument Processo e' uma instancia de Raciocinar Proposicao e' uma instancia de Archeology Proposicao e' uma &sub-proposicao de Proposicao Processo exprime o conteudo de Proposicao Processo Entidade, Fisico, Numero Real, Entidade and Entidade Processo e' uma instancia de Discovering Fisico e' uma instancia de Objeto Fisico e' um patient de Processo Processo inclui uma referencia a Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior que 50 Entidade e' uma superficie de Entidade Entidade e' uma instancia de BodyOfWater Fisico e' Below em relacao a Entidade Entidade e' uma superficie de Entidade Entidade e' uma instancia de Area terrestre Fisico e' Below em relacao a Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Military.kif 840-850	militaryAge Area Geopolitica and Numero Real YearDuration(s) militaryOfArea MilitaryOrganization and Area Geopolitica Fisico e' membro de MilitaryOrganization Numero Real a idade de Fisico 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.	Hotel.kif 2925-2940	numberSeniorOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Numero Real Colecao e' uma instancia de GroupOfPeople Fisico Fisico e' membro de Colecao Fisico e' uma instancia de HumanAdult a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior ou igual a 60 memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica ageOfMajorityForProcess Numero Real YearDuration(s), Area Geopolitica and Processo ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement Legal e' um atributo de Agreement a idade de Agente Cognitivo e' Numero Real2 YearDuration(s) Numero Real2 e' maior que Numero Real vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6393-6404	sheddingLeaves Planta and PlantLeaf Planta e' uma instancia de DeciduousTree PlantLeaf e' uma instancia de PlantLeaf Processo Processo Processo e' uma sub-classe de Remover Processo ocorre todos os YearDuration Processo e' uma instancia de Processo Processo tem como origem Planta PlantLeaf e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Government.kif 1211-1231	CompulsorySuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao Humano e' um cidadao de Nacao RegionalLawFn Nacao obriga Humano a executar tarefas de tipo Entidade Entidade and Entidade Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Entidade YearDuration(s) a idade de Humano e' Entidade YearDuration(s) Entidade e' maior ou igual a Entidade Entidade e' uma instancia de ElectionFn Nacao Entidade Entidade e' uma instancia de VotingFn Entidade Entidade e' um agente de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1040-1050	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 968-978	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.	Economy.kif 3744-3746	Intervalo Temporal e' igual a FiscalYearStartingFn AutonomousAgent and Ano a duracao de Intervalo Temporal e' 1 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13683-13687	Numero Real e' igual a 1 + Numero Real Numero Real MillenniumDuration(s) e' igual a Numero Real + 1000 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19064-19068	Numero Real e' igual a 1 + Numero Real Numero Real CenturyDuration(s) e' igual a Numero Real + 100 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8759-8763	Numero Real e' igual a 1 + Numero Real Numero Real DecadeDuration(s) e' igual a Numero Real + 10 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 382-390	Entidade e' uma instancia de HumanBaby vale durante Posicao Temporal Entidade a idade de Entidade e' Entidade vale durante Posicao Temporal Entidade e' uma instancia de o intervalo entre 0 YearDuration(s) e 1 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 201-209	Entidade e' uma instancia de HumanAdult vale durante Posicao Temporal Entidade a idade de Entidade e' Entidade vale durante Posicao Temporal Entidade e' uma instancia de o intervalo entre 18 YearDuration(s) e 120 YearDuration(s)

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 1092-1103	?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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1160-1174	?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE ?VOTER e' um cidadao de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) a idade de ?VOTER e' ?AGE YearDuration(s) ?AGE e' maior ou igual a ?VOTINGAGE ?ELECTION e' uma instancia de ElectionFn ?POLITY ?VOTING ?VOTING e' uma instancia de VotingFn ?ELECTION ?VOTING e' um agente de ?VOTER contem informacao CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7139-7141	1 YearDuration(s) e' igual a 365 DayDuration(s)

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: