TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1492-1493
No TPTP formula. May not be expressible in strict first order.	Merge.kif 336-337
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 53-54
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 58-59
No TPTP formula. May not be expressible in strict first order.	Merge.kif 334-334	Le nombre 1 argument de rangeSubclass est une instance de function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 335-335	Le nombre 2 argument de rangeSubclass est une sous-classe de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 333-333	rangeSubclass est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 332-332	rangeSubclass est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 329-329
No TPTP formula. May not be expressible in strict first order.	english_format.kif 334-334
No TPTP formula. May not be expressible in strict first order.	french_format.kif 187-187
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 240-240
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2007-2007
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 139-139
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 433-433
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 278-278
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 207-207
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 198-198
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 432-432
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 330-330
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48764-48764
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48763-48763
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48762-48762

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 339-343	Les valeurs retourn�es par function sont des sous-classes de classe function(@ROW) est classe classe est une sous-classe de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 351-357	Les valeurs retourn�es par function sont des sous-classes de classe les valeurs retourn�es par function sont des sous-classes de classe classe est une sous-classe de classe classe est une sous-classe de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 440-445	Les valeurs retourn�es par function sont des sous-classes de classe les valeurs retourn�es par function sont des sous-classes de classe classe est disjoint de classe function et function sont disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 345-349	Function est une sous-relation de function les valeurs retourn�es par function sont des sous-classes de classe les valeurs retourn�es par function sont des sous-classes de classe

consequent

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

Merge.kif 345-349

Function est une sous-relation de function les valeurs retourn�es par function sont des sous-classes de classe
les valeurs retourn�es par function sont des sous-classes de classe

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	WMD.kif 88-88	Les valeurs retourn�es par AgentOfOrganismFn sont des sous-classes de BiologicalAgent
No TPTP formula. May not be expressible in strict first order.	Music.kif 932-932	Les valeurs retourn�es par AlbumCopiesFn sont des sous-classes de DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1776-1776	Les valeurs retourn�es par AttrFn sont des sous-classes de objet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6235-6235	Les valeurs retourn�es par BodyAreaFn sont des sous-classes de partie du corps
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14995-14995	Les valeurs retourn�es par BodySideFn sont des sous-classes de partie du corps
No TPTP formula. May not be expressible in strict first order.	Government.kif 675-675	Les valeurs retourn�es par ConstitutionFn sont des sous-classes de Constitution
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29714-29714	Les valeurs retourn�es par CoveringFn sont des sous-classes de WearableItem
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6072-6072	Les valeurs retourn�es par CutSetFn sont des sous-classes de chemin du graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8612-8612	Les valeurs retourn�es par DayFn sont des sous-classes de jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 116-116	Les valeurs retourn�es par DeadFn sont des sous-classes de OrganismRemains
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30619-30619	Les valeurs retourn�es par DemonymFn sont des sous-classes de NationalPerson
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3013-3013	Les valeurs retourn�es par DocumentFn sont des sous-classes de texte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9979-9979	Les valeurs retourn�es par EdemaFn sont des sous-classes de Edema
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15532-15532	Les valeurs retourn�es par EditionFn sont des sous-classes de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	Government.kif 1686-1686	Les valeurs retourn�es par ElectionFn sont des sous-classes de Election
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4515-4515	Les valeurs retourn�es par FailureFn sont des sous-classes de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 3668-3668	Les valeurs retourn�es par FarmOfProductFn sont des sous-classes de CultivatedLandArea
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3698-3698	Les valeurs retourn�es par FiscalYearFn sont des sous-classes de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14881-14881	Les valeurs retourn�es par FoodForFn sont des sous-classes de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6915-6915	Les valeurs retourn�es par GeographicPartTypeFn sont des sous-classes de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6056-6056	Les valeurs retourn�es par GraphPathFn sont des sous-classes de chemin du graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8637-8637	Les valeurs retourn�es par HourFn sont des sous-classes de heure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13492-13492	Les valeurs retourn�es par ImpairmentFn sont des sous-classes de processus biologique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6585-6585	Les valeurs retourn�es par IntervalFn sont des sous-classes de quantit� constante
No TPTP formula. May not be expressible in strict first order.	Food.kif 2600-2600	Les valeurs retourn�es par JuiceOfFn sont des sous-classes de Juice

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: