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 389-390
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 386-386	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 387-387	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 388-388	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 385-385	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 57561-57561
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57560-57560
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57559-57559

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 5019-5019
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5867-5867
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5873-5873
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5879-5879
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6035-6035
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6053-6053
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7305-7305
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7311-7311
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7941-7941
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7959-7959
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8061-8061
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8637-8637
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8907-8907
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8925-8925
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 5026-5026
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5033-5033
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5039-5039
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5045-5045
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5057-5057
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5063-5063
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5069-5069

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: