TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1400-1400
No TPTP formula. May not be expressible in strict first order.	Merge.kif 390-391
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 62-62
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 70-71
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 68-69
No TPTP formula. May not be expressible in strict first order.	Merge.kif 387-387	The number 1 argument of term format is an instance of language
No TPTP formula. May not be expressible in strict first order.	Merge.kif 388-388	The number 2 argument of term format is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 389-389	The number 3 argument of term format is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Merge.kif 386-386	term format is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4770-4770
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4769-4769
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4768-4768
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57526-57526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57525-57525
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57524-57524

antecedent

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

Media.kif 31-33

If a symbolic string is the printable form of an entity in a language,
then the language has name the symbolic string

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1405-1405
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1401-1401
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5014-5014
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5862-5862
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5868-5868
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5874-5874
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6030-6030
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6048-6048
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7302-7302
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7308-7308
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7938-7938
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7956-7956
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8058-8058
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8634-8634
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8904-8904
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8922-8922
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2172-2172
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2177-2177
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5021-5021
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5028-5028
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5034-5034
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5040-5040
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5052-5052
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5058-5058
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5064-5064

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: