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

Formal Language: 



KB Term:  Term intersection
English Word: 

  format

Sigma KEE - format
format

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1499-1499
No TPTP formula. May not be expressible in strict first order. Merge.kif 383-384
No TPTP formula. May not be expressible in strict first order. Merge.kif 380-380 The number 1 argument of format is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 381-381 The number 2 argument of format is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 382-382 The number 3 argument of format is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 379-379 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 3474-3474
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3473-3473
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3472-3472
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24724-24724
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24723-24723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24722-24722

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2650-2650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2826-2826
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20-20
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24-24
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28-28
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 688-688
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 253-253
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36-36
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 682-682
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56-56
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2710-2710
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2722-2722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 92-92
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2750-2750
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 346-346
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 208-208
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 220-220
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2846-2846
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 224-224
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 255-255
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 449-449
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 765-765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2886-2886
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2894-2894
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 280-280

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