TreeView Knowledge Base Browser - relatedInternalConcept

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1519-1521
No TPTP formula. May not be expressible in strict first order.	Merge.kif 619-623
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 85-87
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 97-100
No TPTP formula. May not be expressible in strict first order.	Merge.kif 616-616	Le nombre 1 argument de relatedInternalConcept est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 617-617	Le nombre 2 argument de relatedInternalConcept est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 614-614	relatedInternalConcept est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 615-615	relatedInternalConcept est une instance de relation �quivalente

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 315-315
No TPTP formula. May not be expressible in strict first order.	english_format.kif 320-320
No TPTP formula. May not be expressible in strict first order.	french_format.kif 180-180
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 249-249
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2000-2000
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 188-188
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 413-413
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 287-287
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 200-200
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 190-190
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 441-441
No TPTP formula. May not be expressible in strict first order.	Merge.kif 629-629	relatedExternalConcept est reli� � l'int�rieur de SUMO � relatedInternalConcept
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 316-316
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49318-49318
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49317-49317
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49316-49316

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Music.kif 544-544	AcidJazz est reli� � l'int�rieur de SUMO � FunkMusic
No TPTP formula. May not be expressible in strict first order.	Music.kif 545-545	AcidJazz est reli� � l'int�rieur de SUMO � HipHopMusic
No TPTP formula. May not be expressible in strict first order.	Music.kif 543-543	AcidJazz est reli� � l'int�rieur de SUMO � JazzMusic
No TPTP formula. May not be expressible in strict first order.	Music.kif 575-575	AlternativeCountry est reli� � l'int�rieur de SUMO � CountryMusic
No TPTP formula. May not be expressible in strict first order.	Music.kif 582-582	AlternativeDance est reli� � l'int�rieur de SUMO � AlternativeRock
No TPTP formula. May not be expressible in strict first order.	Music.kif 583-583	AlternativeDance est reli� � l'int�rieur de SUMO � PopMusic
No TPTP formula. May not be expressible in strict first order.	Government.kif 4690-4690	AmericanInstituteInTaiwan est reli� � l'int�rieur de SUMO � DiplomaticOrganization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1905-1905	AmusementGamblingAndRecreationIndustries est reli� � l'int�rieur de SUMO � TourismIndustry
No TPTP formula. May not be expressible in strict first order.	emotion.kif 735-735	Colère est reli� � l'int�rieur de SUMO � mépris
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1237-1237	AngryFacialExpression est reli� � l'int�rieur de SUMO � colère
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1242-1242	AngryFacialExpression est reli� � l'int�rieur de SUMO � Frowning
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1942-1942	AngryVoiceUtterance est reli� � l'int�rieur de SUMO � colère
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1938-1938	AngryVoiceUtterance est reli� � l'int�rieur de SUMO � SpeakingLoudly
No TPTP formula. May not be expressible in strict first order.	emotion.kif 54-54	Appraisal est reli� � l'int�rieur de SUMO � AppraisalProcess
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1906-1906	ArtsEntertainmentAndRecreation est reli� � l'int�rieur de SUMO � TourismIndustry
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12395-12395	Attacher est reli� � l'int�rieur de SUMO � mettre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6480-6480	BalsaTree est reli� � l'int�rieur de SUMO � BalsaWood
No TPTP formula. May not be expressible in strict first order.	Music.kif 599-599	Bebop est reli� � l'int�rieur de SUMO � JazzMusic
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6485-6485	BeechTree est reli� � l'int�rieur de SUMO � BeechWood
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5945-5945	BeginNodeFn est reli� � l'int�rieur de SUMO � InitialNodeFn
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24100-24100	BiologicalConception est reli� � l'int�rieur de SUMO � naissance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24101-24101	BiologicalConception est reli� � l'int�rieur de SUMO � Mating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24099-24099	BiologicalConception est reli� � l'int�rieur de SUMO � reproduction sexuel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6490-6490	BirchTree est reli� � l'int�rieur de SUMO � BirchWood
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6495-6495	BlackCherryTree est reli� � l'int�rieur de SUMO � CherryWood

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: