TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1952-1956
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2877-2884
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 584-588
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2875-2875	Lista e' uma sub-classe de Abstrato

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2917-2917	NullList e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7580-7580	O contra-dominio de AmountsFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3074-3074	O contra-dominio de ListConcatenateFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2935-2935	O contra-dominio de ListFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1995-1995	O contra-dominio de Mean3SecondWindSpeedListFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3164-3164	O contra-dominio de SubListFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Music.kif 49-49	Album e' uma sub-classe de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1927-1927	ConsecutiveTimeIntervalList e' uma sub-classe de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1714-1714	MeasuringList e' uma sub-classe de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1782-1782	MeasuringResultList e' uma sub-classe de Lista
No TPTP formula. May not be expressible in strict first order.	Music.kif 1119-1119	MusicChart e' uma sub-classe de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1817-1817	NumberList e' uma sub-classe de Lista
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2469-2469	SRPResults e' uma sub-classe de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2903-2903	Lista Unica e' uma sub-classe de Lista
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 913-913
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1033-1033
No TPTP formula. May not be expressible in strict first order.	french_format.kif 589-589
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 119-119
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 122-122
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2274-2274
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 541-541
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 124-124
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 156-156
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 610-610

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.	Merge.kif 3271-3271	O argumento numero 1 de AverageFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3226-3226	O argumento numero 1 de FirstFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3206-3206	O argumento numero 1 de LastFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3072-3072	O argumento numero 1 de ListConcatenateFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3073-3073	O argumento numero 2 de ListConcatenateFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3014-3014	O argumento numero 1 de ListLengthFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2977-2977	O argumento numero 1 de ListOrderFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3240-3240	O argumento numero 1 de ListSumFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1681-1681	O argumento numero 1 de MaxValueFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1503-1503	O argumento numero 1 de StandardDeviationFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3163-3163	O argumento numero 3 de SubListFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1447-1447	O argumento numero 2 de VarianceAverageFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1470-1470	O argumento numero 1 de VarianceFn e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5360-5360	O argumento numero 1 de average e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1296-1296	O argumento numero 2 de commandLineArguments e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3320-3320	O argumento numero 1 de identicalListItems e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3321-3321	O argumento numero 2 de identicalListItems e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3107-3107	O argumento numero 2 de inList e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3120-3120	O argumento numero 1 de subList e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3121-3121	O argumento numero 2 de subList e' uma instancia de Lista
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 763-763	O argumento numero 2 de viewedItemList e' uma instancia de Lista

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 3232-3237

Lista e' uma instancia de Lista Lista e' igual a NullList
FirstFn Lista e' igual a 1th elemento de Lista

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 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.	Hotel.kif 2035-2053	Processo e' uma instancia de ShuttleService Lista Objeto and AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent possui Objeto Objeto e' uma instancia de Automobile Lista e' uma instancia de Lista Entidade Entidade e' um membro de Lista Entidade e' uma instancia de PostalPlace Processo Processo e' uma instancia de Transporte Processo e' um agente de AutonomousAgent Objeto e' um instrumento para Processo Processo termina em Entidade

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: