No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24496-24498	stringConcatenation Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica Sequencia Simbolica e' igual a StringConcatenateFn Sequencia Simbolica and Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24466-24468	stringLength Numero Inteiro nao-negativo and Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5421-5425	Entidade e' um elemento de Conjunto Entidade e' um elemento de Conjunto Conjunto e' igual a Conjunto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	amount Substancia, Objeto Corpuscular and Numero Real UnitOfMass(s) SubstanciaI e' uma instancia de Substancia a medida de SubstanciaI e' Numero Real2 UnitOfMass(s) SubstanciaI e' uma &parte de Objeto Corpuscular Lista Numero Real2 UnitOfMass(s) e' um membro de Lista Lista e' igual a AmountsFn Substancia, Objeto Corpuscular and UnitOfMass Numero Real e' igual a ListSumFn Lista
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31387-31394	applicableRelation Objeto and Relacao Objeto e' uma instancia de ObjetoC o argumento numero 1 de Relacao e' uma instancia de Classe ObjetoC e' igual a Classe ObjetoC e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17959	approximateDiameter Objeto auto-conectado and Numero Real Numero RealM(s) sphereRadius Objeto and Numero Real + 2.0 Numero RealM(s) a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero RealM e' uma instancia de UnitOfLength Unidade de Medida e' uma instancia de UnitOfVolume Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	AppraisalAsJustTreatment e' um atributo de Agente Cognitivo Agente CognitivoJT e' uma instancia de AppraisalProcess Agente CognitivoJT e' um agente de Agente Cognitivo Processo Agente Cognitivo2 Processo e' uma instancia de Processo Agente CognitivoJT inclui uma referencia a Processo Processo e' um agente de Agente Cognitivo2 Agente Cognitivo e' igual a Agente Cognitivo2 Agente Cognitivo e' um patient de Processo Agente Cognitivo quer Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	AppraisalAsUnjustTreatment e' um atributo de Agente Cognitivo Agente CognitivoUJ e' uma instancia de AppraisalProcess Agente CognitivoUJ e' um agente de Agente Cognitivo Processo Agente Cognitivo2 Processo e' uma instancia de Processo Agente CognitivoUJ inclui uma referencia a Processo Processo e' um agente de Agente Cognitivo2 Agente Cognitivo e' igual a Agente Cognitivo2 Agente Cognitivo e' um patient de Processo Agente Cognitivo nao quer %n Processo
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.	Music.kif 426-436	MashupRecording e' um atributo de Objeto Objeto e' uma instancia de Recording Objeto1 Objeto2, Musica and Musica musicInterpretation Objeto1 and Musica musicInterpretation Objeto2 and Musica Musica e' igual a Musica Objeto1 e' uma &parte de Objeto Objeto2 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Music.kif 444-449	RemixRecording e' um atributo de MusicRecording MusicRecording e' uma instancia de MusicRecording MusicRecording Agente Cognitivo MusicRecording e' igual a RemixFn MusicRecording and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Music.kif 457-470	CoverRecording e' um atributo de MusicRecording MusicRecording e' uma instancia de MusicRecording songArtist MusicRecording and Agente Cognitivo musicInterpretation MusicRecording and Musica record MusicRecording and MusicaM MusicRecording Agente CognitivoRTIST and MusicaUSIC musicInterpretation MusicRecording and Musica songArtist MusicRecording and Agente CognitivoRTIST Agente Cognitivo e' igual a Agente CognitivoRTIST record MusicRecording and MusicaUSIC tempo de existencia de MusicaUSIC comeca antes de tempo de existencia de MusicaM
No TPTP formula. May not be expressible in strict first order.	Government.kif 1977-1985	UnicameralLegislature e' um atributo de Organizacao legislativeBranch Organizacao and Area Geopolitica Organizacao e' uma instancia de LegislativeChamber Organizacao e' uma parte da organizacao o governo de Area Geopolitica Organizacao e' uma instancia de LegislativeChamber Organizacao e' uma parte da organizacao o governo de Area Geopolitica Organizacao e' igual a Organizacao
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2881-2897	FOKOrder e' um atributo de Agreement agreementPeriod Agreement and Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de FillingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de CancellingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2917-2933	GTCOrder e' um atributo de Agreement agreementPeriod Agreement and Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de FillingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de CancellingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2854-2870	IOCOrder e' um atributo de Agreement agreementPeriod Agreement and Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de FillingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de CancellingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Comprar and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency askPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' menor ou igual a Numero Real Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Vender and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) bidPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency Numero Real e' maior ou igual a Numero Real Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19443-19453	Stressed e' um atributo de Objeto Objeto e' uma instancia de Palavra Objeto e' uma &parte de Objeto Objeto2 Objeto2 e' uma instancia de Syllable Objeto2 e' uma &parte de Objeto Stressed e' um atributo de Objeto2 Objeto2 e' igual a Objeto
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 25748-25761	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.	Hotel.kif 1003-1014	Suite e' um atributo de Objeto Objeto e' uma instancia de HotelUnit Objeto Objeto Objeto e' uma instancia de HotelRoom Objeto e' uma instancia de HotelRoom Objeto e' Inside em relacao a Objeto Objeto e' Inside em relacao a Objeto Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24236-24246	birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Dia Numero Inteiro birthday Humano and Dia Dia e' uma sub-classe de Dia Numero Inteiro e' uma instancia de Numero Inteiro Dia e' igual a o dia Inteiro positivo Numero Inteiro e' maior que Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 829-836	chromosomeSetCount MonoploidChromosomeSet, Colecao and Numero Inteiro MonoploidChromosomeSet e' uma sub-colecao de Colecao Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	connectedBodyPartTypes Parte do Corpo, Parte do Corpo and Organismo OrganismoC e' uma instancia de Organismo Doenca ou Sindrome e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' uma instancia de Parte do Corpo Objeto e' igual a Objeto Objeto e' uma &parte de OrganismoC Objeto e' uma &parte de OrganismoC Objeto e' conectado com Objeto
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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