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	Liste est une sous-classe de abstrait

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2917-2917	NullList est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7580-7580	Le domaine de AmountsFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3074-3074	Le domaine de ListConcatenateFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2935-2935	Le domaine de ListFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1995-1995	Le domaine de Mean3SecondWindSpeedListFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3164-3164	Le domaine de SubListFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Music.kif 49-49	Album est une sous-classe de liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1927-1927	ConsecutiveTimeIntervalList est une sous-classe de liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1714-1714	MeasuringList est une sous-classe de liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1782-1782	MeasuringResultList est une sous-classe de liste
No TPTP formula. May not be expressible in strict first order.	Music.kif 1119-1119	MusicChart est une sous-classe de liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1817-1817	NumberList est une sous-classe de liste
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2469-2469	SRPResults est une sous-classe de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2903-2903	Liste unique est une sous-classe de liste
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	Le nombre 1 argument de AverageFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3226-3226	Le nombre 1 argument de FirstFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3206-3206	Le nombre 1 argument de LastFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3072-3072	Le nombre 1 argument de ListConcatenateFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3073-3073	Le nombre 2 argument de ListConcatenateFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3014-3014	Le nombre 1 argument de ListLengthFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2977-2977	Le nombre 1 argument de ListOrderFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3240-3240	Le nombre 1 argument de ListSumFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1681-1681	Le nombre 1 argument de MaxValueFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1503-1503	Le nombre 1 argument de StandardDeviationFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3163-3163	Le nombre 3 argument de SubListFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1447-1447	Le nombre 2 argument de VarianceAverageFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1470-1470	Le nombre 1 argument de VarianceFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5360-5360	Le nombre 1 argument de average est une instance de liste
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1296-1296	Le nombre 2 argument de commandLineArguments est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3320-3320	Le nombre 1 argument de identicalListItems est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3321-3321	Le nombre 2 argument de identicalListItems est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3107-3107	Le nombre 2 argument de inList est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3120-3120	Le nombre 1 argument de subList est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3121-3121	Le nombre 2 argument de subList est une instance de liste
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 763-763	Le nombre 2 argument de viewedItemList est une instance de liste

antecedent

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

Merge.kif 3232-3237

Liste est une instance de liste liste est NullList
FirstFn liste est liste

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2035-2053	Processus est une instance de ShuttleService liste objet and AutonomousAgent processus est un agent de AutonomousAgent AutonomousAgent poss�de objet objet est une instance de Automobile liste est une instance de liste entit� entit� est un membre de liste entit� est une instance de PostalPlace processus processus est une instance de transporter processus est un agent de AutonomousAgent objet est un instrument pour processus processus aboutit � entit�

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: