Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  termFormat

Sigma KEE - termFormat
termFormat

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

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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