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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 382-383
No TPTP formula. May not be expressible in strict first order. Merge.kif 379-379 The number 1 argument of format is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 380-380 The number 2 argument of format is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 381-381 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 378-378 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 3479-3479
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3478-3478
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3477-3477
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24736-24736
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24735-24735
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24734-24734

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2651-2651
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2827-2827
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. domainEnglishFormat.kif 2687-2687
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 2711-2711
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2723-2723
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 112-112
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2743-2743
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2751-2751
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 2831-2831
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 2847-2847
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. domainEnglishFormat.kif 2867-2867
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 255-255

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