termFormat - Sigma 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.	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 4774-4774
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4773-4773
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4772-4772
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57494-57494
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57493-57493
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57492-57492

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 5018-5018
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5866-5866
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5872-5872
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5878-5878
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6034-6034
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6052-6052
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7306-7306
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7312-7312
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7942-7942
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7960-7960
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8062-8062
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8638-8638
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8908-8908
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8926-8926
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 5025-5025
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5032-5032
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5038-5038
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5044-5044
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5056-5056
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5062-5062
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5068-5068

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

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: